Toggle navigation
API Documentation
Classes
Namespaces
Interfaces
Traits
Index
Search
Namespace
Tailors
\
Logic
\
Connectives
\
Tailors\Logic\Connectives
Classes
BasicConnectivesTrait
Example usage.
BinaryConnectiveTrait
Conjunction
ConnectiveFormula
Disjunction
UnaryConnectiveTrait
Interfaces
BasicConnectivesInterface
ConnectiveInterface