API Documentation
  • Classes
  • Namespaces
  • Interfaces
  • Traits
  • Index
  • Search
  1. Namespace
  2. Tailors
  3. \
  4. Logic
  5. \

Tailors\Logic

Namespaces

Tailors\Logic\ConnectivesTailors\Logic\ExceptionsTailors\Logic\FunctionsTailors\Logic\PredicatesTailors\Logic\Validators

Classes

AbstractFunctorExpression
FunctionNotationTrait
InfixNotationTrait
Logic
PrefixNotationTrait
QuantifiedFormula
SuffixNotationTrait
SymbolNotationTrait
Variable

Interfaces

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