Traits

BasicConnectivesTrait
Example usage.
BinaryConnectiveTrait
UnaryConnectiveTrait
FunctionNotationTrait
BasicFunctionsTrait
Example usage.
BinaryFunctionTrait
UnaryFunctionTrait
InfixNotationTrait
BasicPredicatesTrait
Example usage.
BinaryPredicateTrait
UnaryPredicateTrait
PrefixNotationTrait
SuffixNotationTrait
SymbolNotationTrait