Toggle navigation
API Documentation
Classes
Namespaces
Interfaces
Traits
Index
Search
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