Tailors
Logic
Connectives
BasicConnectivesInterface
BasicConnectivesTrait
BinaryConnectiveTrait
Conjunction
ConnectiveFormula
ConnectiveInterface
Disjunction
UnaryConnectiveTrait
Exceptions
InvalidArgumentException
UndefinedVariableException
Functions
AbstractFunction
AbstractNumericFunction
BasicFunctionsInterface
BasicFunctionsTrait
BinaryFunctionTrait
Constant
FunctionInterface
FunctionTerm
Sub
Sum
UnaryFunctionTrait
Predicates
AbstractPredicate
BasicPredicatesInterface
BasicPredicatesTrait
BinaryPredicateTrait
BoolValue
Falsum
PredicateFormula
PredicateInterface
Tee
UnaryPredicateTrait
Validators
AbstractArglistValidator
ArglistValidatorInterface
BasicValidators
BasicValidatorsInterface
ComparatorArglistValidator
ComparatorArglistValidatorInterface
NumbersArglistValidator
NumbersArglistValidatorInterface
AbstractFunctorExpression
ExpressionInterface
FormulaInterface
FunctionNotationTrait
FunctorExpressionInterface
FunctorInterface
InfixNotationTrait
Logic
LogicInterface
PrefixNotationTrait
QuantifiedFormula
SuffixNotationTrait
SymbolInterface
SymbolNotationTrait
TermInterface
Variable
VariableInterface
Toggle navigation
API Documentation
Classes
Namespaces
Interfaces
Traits
Index
Search
Namespace
Tailors
\
Logic
\
Validators
\
Tailors\Logic\Validators
Classes
AbstractArglistValidator
BasicValidators
ComparatorArglistValidator
Asserts that all the $arguments are numbers.
NumbersArglistValidator
Asserts that all the $arguments are numbers.
Interfaces
ArglistValidatorInterface
BasicValidatorsInterface
ComparatorArglistValidatorInterface
NumbersArglistValidatorInterface