API Documentation
  • Classes
  • Namespaces
  • Interfaces
  • Traits
  • Index
  • Search

Classes

AbstractFunctorExpression
BasicConnectivesInterface
BasicConnectivesTrait
Example usage.
BinaryConnectiveTrait
Conjunction
ConnectiveFormula
ConnectiveInterface
Disjunction
UnaryConnectiveTrait
InvalidArgumentException
UndefinedVariableException
ExpressionInterface
FormulaInterface
FunctionNotationTrait
AbstractFunction
AbstractNumericFunction
BasicFunctionsInterface
BasicFunctionsTrait
Example usage.
BinaryFunctionTrait
Constant
FunctionInterface
FunctionTerm
Sub
Sum
UnaryFunctionTrait
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.
InfixNotationTrait
Logic
LogicInterface
AbstractPredicate
BasicPredicatesInterface
BasicPredicatesTrait
Example usage.
BinaryPredicateTrait
BoolValue
Falsum
PredicateFormula
PredicateInterface
Tee
UnaryPredicateTrait
PrefixNotationTrait
QuantifiedFormula
SuffixNotationTrait
SymbolInterface
SymbolNotationTrait
TermInterface
AbstractArglistValidator
ArglistValidatorInterface
BasicValidators
BasicValidatorsInterface
ComparatorArglistValidator
Asserts that all the $arguments are numbers.
ComparatorArglistValidatorInterface
NumbersArglistValidator
Asserts that all the $arguments are numbers.
NumbersArglistValidatorInterface
Variable
VariableInterface
Generated by Doctum, a API Documentation generator and fork of Sami.