• A
• B
• C
• D
• E
• F
• G
• H
• I
• J
• K
• L
• M
• N
• O
• P
• Q
• R
• S
• T
• U
• V
• W
• X
• Y
• Z

A

AbstractFunctorExpression — Class in namespace Tailors\Logic

AbstractFunctorExpression::arguments() — Method in class AbstractFunctorExpression

BasicConnectivesInterface::and() — Method in class BasicConnectivesInterface

BasicConnectivesTrait::and() — Method in class BasicConnectivesTrait

BinaryConnectiveTrait::arity() — Method in class BinaryConnectiveTrait

Conjunction::apply() — Method in class Conjunction

ConnectiveInterface::apply() — Method in class ConnectiveInterface

Disjunction::apply() — Method in class Disjunction

UnaryConnectiveTrait::arity() — Method in class UnaryConnectiveTrait

AbstractFunction — Class in namespace Tailors\Logic\Functions

AbstractFunction::apply() — Method in class AbstractFunction

AbstractFunction::applyImpl() — Method in class AbstractFunction

AbstractNumericFunction — Class in namespace Tailors\Logic\Functions

BinaryFunctionTrait::arity() — Method in class BinaryFunctionTrait

Constant::arity() — Method in class Constant

Constant::apply() — Method in class Constant

FunctionInterface::apply() — Method in class FunctionInterface

Sub::applyImpl() — Method in class Sub

Sum::applyImpl() — Method in class Sum

UnaryFunctionTrait::arity() — Method in class UnaryFunctionTrait

FunctorExpressionInterface::arguments() — Method in class FunctorExpressionInterface

FunctorInterface::arity() — Method in class FunctorInterface

AbstractPredicate — Class in namespace Tailors\Logic\Predicates

AbstractPredicate::apply() — Method in class AbstractPredicate

AbstractPredicate::applyImpl() — Method in class AbstractPredicate

BinaryPredicateTrait::arity() — Method in class BinaryPredicateTrait

BoolValue::applyImpl() — Method in class BoolValue

Falsum::apply() — Method in class Falsum

Falsum::arity() — Method in class Falsum

PredicateInterface::apply() — Method in class PredicateInterface

Tee::apply() — Method in class Tee

Tee::arity() — Method in class Tee

UnaryPredicateTrait::arity() — Method in class UnaryPredicateTrait

AbstractArglistValidator — Class in namespace Tailors\Logic\Validators

ArglistValidatorInterface — Class in namespace Tailors\Logic\Validators

B

BasicConnectivesInterface — Class in namespace Tailors\Logic\Connectives

BasicConnectivesTrait — Class in namespace Tailors\Logic\Connectives

Example usage.

BinaryConnectiveTrait — Class in namespace Tailors\Logic\Connectives

BasicFunctionsInterface — Class in namespace Tailors\Logic\Functions

BasicFunctionsTrait — Class in namespace Tailors\Logic\Functions

Example usage.

BinaryFunctionTrait — Class in namespace Tailors\Logic\Functions

BasicPredicatesInterface — Class in namespace Tailors\Logic\Predicates

BasicPredicatesInterface::bool() — Method in class BasicPredicatesInterface

BasicPredicatesTrait — Class in namespace Tailors\Logic\Predicates

Example usage.

BasicPredicatesTrait::bool() — Method in class BasicPredicatesTrait

BinaryPredicateTrait — Class in namespace Tailors\Logic\Predicates

BoolValue — Class in namespace Tailors\Logic\Predicates

BasicValidators — Class in namespace Tailors\Logic\Validators

BasicValidatorsInterface — Class in namespace Tailors\Logic\Validators

C

Conjunction — Class in namespace Tailors\Logic\Connectives

ConnectiveFormula — Class in namespace Tailors\Logic\Connectives

ConnectiveFormula::connective() — Method in class ConnectiveFormula

ConnectiveInterface — Class in namespace Tailors\Logic\Connectives

BasicFunctionsInterface::const() — Method in class BasicFunctionsInterface

BasicFunctionsTrait::const() — Method in class BasicFunctionsTrait

Constant — Class in namespace Tailors\Logic\Functions

BasicValidators::comparatorArglist() — Method in class BasicValidators

BasicValidatorsInterface::comparatorArglist() — Method in class BasicValidatorsInterface

ComparatorArglistValidator — Class in namespace Tailors\Logic\Validators

Asserts that all the $arguments are numbers.

ComparatorArglistValidatorInterface — Class in namespace Tailors\Logic\Validators

D

Disjunction — Class in namespace Tailors\Logic\Connectives

AbstractArglistValidator::describeInvalidArguments() — Method in class AbstractArglistValidator

ComparatorArglistValidator::describeInvalidArguments() — Method in class ComparatorArglistValidator

NumbersArglistValidator::describeInvalidArguments() — Method in class NumbersArglistValidator

E

AbstractFunctorExpression::expressionString() — Method in class AbstractFunctorExpression

ConnectiveFormula::evaluate() — Method in class ConnectiveFormula

ExpressionInterface — Class in namespace Tailors\Logic

ExpressionInterface::expressionString() — Method in class ExpressionInterface

FormulaInterface::evaluate() — Method in class FormulaInterface

Constant::expressionString() — Method in class Constant

Constant::evaluate() — Method in class Constant

FunctionTerm::evaluate() — Method in class FunctionTerm

Falsum::expressionString() — Method in class Falsum

Falsum::evaluate() — Method in class Falsum

PredicateFormula::evaluate() — Method in class PredicateFormula

Tee::expressionString() — Method in class Tee

Tee::evaluate() — Method in class Tee

QuantifiedFormula::environment() — Method in class QuantifiedFormula

QuantifiedFormula::expressionString() — Method in class QuantifiedFormula

QuantifiedFormula::evaluate() — Method in class QuantifiedFormula

TermInterface::evaluate() — Method in class TermInterface

Variable::expressionString() — Method in class Variable

Variable::evaluate() — Method in class Variable

F

AbstractFunctorExpression::functor() — Method in class AbstractFunctorExpression

FormulaInterface — Class in namespace Tailors\Logic

FunctionNotationTrait — Class in namespace Tailors\Logic

FunctionInterface — Class in namespace Tailors\Logic\Functions

FunctionTerm — Class in namespace Tailors\Logic\Functions

FunctionTerm::function() — Method in class FunctionTerm

FunctorExpressionInterface — Class in namespace Tailors\Logic

FunctorExpressionInterface::functor() — Method in class FunctorExpressionInterface

FunctorInterface — Class in namespace Tailors\Logic

Common interface for functions, predicates or connectives. A characteristic feature of a functor is that it yields non-terminal expressions when provided with arguments.

BasicPredicatesInterface::falsum() — Method in class BasicPredicatesInterface

BasicPredicatesTrait::falsum() — Method in class BasicPredicatesTrait

Falsum — Class in namespace Tailors\Logic\Predicates

QuantifiedFormula::formula() — Method in class QuantifiedFormula

I

InvalidArgumentException — Class in namespace Tailors\Logic\Exceptions

InfixNotationTrait — Class in namespace Tailors\Logic

AbstractArglistValidator::isValid() — Method in class AbstractArglistValidator

ComparatorArglistValidator::isValid() — Method in class ComparatorArglistValidator

NumbersArglistValidator::isValid() — Method in class NumbersArglistValidator

L

Logic — Class in namespace Tailors\Logic

LogicInterface — Class in namespace Tailors\Logic

M

BasicConnectivesTrait::makeBasicConnectives() — Method in class BasicConnectivesTrait

BasicFunctionsTrait::makeBasicFunctions() — Method in class BasicFunctionsTrait

BasicPredicatesTrait::makeBasicPredicates() — Method in class BasicPredicatesTrait

N

FunctionNotationTrait::notation() — Method in class FunctionNotationTrait

FunctorInterface::notation() — Method in class FunctorInterface

InfixNotationTrait::notation() — Method in class InfixNotationTrait

PrefixNotationTrait::notation() — Method in class PrefixNotationTrait

SuffixNotationTrait::notation() — Method in class SuffixNotationTrait

SymbolNotationTrait::notation() — Method in class SymbolNotationTrait

BasicValidators::numbersArglist() — Method in class BasicValidators

BasicValidatorsInterface::numbersArglist() — Method in class BasicValidatorsInterface

NumbersArglistValidator — Class in namespace Tailors\Logic\Validators

Asserts that all the $arguments are numbers.

NumbersArglistValidatorInterface — Class in namespace Tailors\Logic\Validators

O

BasicConnectivesInterface::or() — Method in class BasicConnectivesInterface

BasicConnectivesTrait::or() — Method in class BasicConnectivesTrait

P

Conjunction::precedence() — Method in class Conjunction

Disjunction::precedence() — Method in class Disjunction

FunctionNotationTrait::precedence() — Method in class FunctionNotationTrait

Constant::precedence() — Method in class Constant

Sub::precedence() — Method in class Sub

Sum::precedence() — Method in class Sum

FunctorInterface::precedence() — Method in class FunctorInterface

Falsum::precedence() — Method in class Falsum

PredicateFormula — Class in namespace Tailors\Logic\Predicates

PredicateFormula::predicate() — Method in class PredicateFormula

PredicateInterface — Class in namespace Tailors\Logic\Predicates

Tee::precedence() — Method in class Tee

PrefixNotationTrait — Class in namespace Tailors\Logic

Q

QuantifiedFormula — Class in namespace Tailors\Logic

R

AbstractArglistValidator::report() — Method in class AbstractArglistValidator

AbstractArglistValidator::reportSingle() — Method in class AbstractArglistValidator

AbstractArglistValidator::reportMultiple() — Method in class AbstractArglistValidator

S

Conjunction::symbol() — Method in class Conjunction

Disjunction::symbol() — Method in class Disjunction

BasicFunctionsInterface::sub() — Method in class BasicFunctionsInterface

BasicFunctionsInterface::sum() — Method in class BasicFunctionsInterface

BasicFunctionsTrait::sub() — Method in class BasicFunctionsTrait

BasicFunctionsTrait::sum() — Method in class BasicFunctionsTrait

Constant::symbol() — Method in class Constant

Sub — Class in namespace Tailors\Logic\Functions

Sub::symbol() — Method in class Sub

Sum — Class in namespace Tailors\Logic\Functions

Sum::symbol() — Method in class Sum

BoolValue::symbol() — Method in class BoolValue

Falsum::symbol() — Method in class Falsum

Tee::symbol() — Method in class Tee

SuffixNotationTrait — Class in namespace Tailors\Logic

SymbolInterface — Class in namespace Tailors\Logic

SymbolInterface::symbol() — Method in class SymbolInterface

SymbolNotationTrait — Class in namespace Tailors\Logic

Variable::symbol() — Method in class Variable

T

BasicPredicatesInterface::tee() — Method in class BasicPredicatesInterface

BasicPredicatesTrait::tee() — Method in class BasicPredicatesTrait

Tee — Class in namespace Tailors\Logic\Predicates

TermInterface — Class in namespace Tailors\Logic

U

UnaryConnectiveTrait — Class in namespace Tailors\Logic\Connectives

UndefinedVariableException — Class in namespace Tailors\Logic\Exceptions

UnaryFunctionTrait — Class in namespace Tailors\Logic\Functions

UnaryPredicateTrait — Class in namespace Tailors\Logic\Predicates

V

AbstractFunction::validate() — Method in class AbstractFunction

AbstractNumericFunction::validate() — Method in class AbstractNumericFunction

Logic::var() — Method in class Logic

LogicInterface::var() — Method in class LogicInterface

AbstractPredicate::validate() — Method in class AbstractPredicate

BoolValue::validate() — Method in class BoolValue

AbstractArglistValidator::validate() — Method in class AbstractArglistValidator

ArglistValidatorInterface::validate() — Method in class ArglistValidatorInterface

Variable — Class in namespace Tailors\Logic

VariableInterface — Class in namespace Tailors\Logic

W

BinaryConnectiveTrait::with() — Method in class BinaryConnectiveTrait

ConnectiveFormula::where() — Method in class ConnectiveFormula

UnaryConnectiveTrait::with() — Method in class UnaryConnectiveTrait

FormulaInterface::where() — Method in class FormulaInterface

BinaryFunctionTrait::with() — Method in class BinaryFunctionTrait

UnaryFunctionTrait::with() — Method in class UnaryFunctionTrait

BinaryPredicateTrait::with() — Method in class BinaryPredicateTrait

Falsum::where() — Method in class Falsum

PredicateFormula::where() — Method in class PredicateFormula

Tee::where() — Method in class Tee

UnaryPredicateTrait::with() — Method in class UnaryPredicateTrait

QuantifiedFormula::where() — Method in class QuantifiedFormula

_

AbstractFunctorExpression::__construct() — Method in class AbstractFunctorExpression

ConnectiveFormula::__construct() — Method in class ConnectiveFormula

AbstractNumericFunction::__construct() — Method in class AbstractNumericFunction

Constant::__construct() — Method in class Constant

FunctionTerm::__construct() — Method in class FunctionTerm

Logic::__construct() — Method in class Logic

PredicateFormula::__construct() — Method in class PredicateFormula

QuantifiedFormula::__construct() — Method in class QuantifiedFormula

BasicValidators::__construct() — Method in class BasicValidators

Variable::__construct() — Method in class Variable

Generated by Doctum, a API Documentation generator and fork of Sami.