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
Generated by Doctum, a API Documentation generator and fork of Sami.