1. Namespace
  2. Tailors
  3. \
  4. Logic
  5. \
  6. Connectives
  7. \

Tailors\Logic\Connectives

Classes

BasicConnectivesTrait
Example usage.
BinaryConnectiveTrait
Conjunction
ConnectiveFormula
Disjunction
UnaryConnectiveTrait

Interfaces

BasicConnectivesInterface
ConnectiveInterface