Interfaces

BasicConnectivesInterface
ConnectiveInterface
ExpressionInterface
FormulaInterface
BasicFunctionsInterface
FunctionInterface
FunctorExpressionInterface
FunctorInterface
Common interface for functions, predicates or connectives. A characteristic feature of a functor is that it yields non-terminal expressions when provided with arguments.
LogicInterface
BasicPredicatesInterface
PredicateInterface
SymbolInterface
TermInterface
ArglistValidatorInterface
BasicValidatorsInterface
ComparatorArglistValidatorInterface
NumbersArglistValidatorInterface
VariableInterface