1. class
  2. Tailors
  3. \
  4. Logic
  5. \
  6. Predicates
  7. \
  8. PredicateFormula

PredicateFormula

final class PredicateFormula extends AbstractFunctorExpression implements FormulaInterface

Methods

__construct(PredicateInterface $predicate, array ...$arguments)

No description

array
arguments()

No description

from  AbstractFunctorExpression
FunctorInterface
functor()

No description

from  AbstractFunctorExpression
string
expressionString(FunctorExpressionInterface $parent = null)

No description

from  AbstractFunctorExpression
PredicateInterface
predicate()

No description

bool
evaluate(array $environment = [])

No description

FormulaInterface
where(array $environment)

No description

Details

at line 24
__construct(PredicateInterface $predicate, array ...$arguments)

Parameters

PredicateInterface $predicate
array ...$arguments

in AbstractFunctorExpression at line 44
array arguments()

Return Value

array

in AbstractFunctorExpression at line 52
FunctorInterface functor()

Return Value

FunctorInterface

in AbstractFunctorExpression at line 57
string expressionString(FunctorExpressionInterface $parent = null)

Parameters

FunctorExpressionInterface $parent

Return Value

string

at line 29
PredicateInterface predicate()

Return Value

PredicateInterface

at line 40
bool evaluate(array $environment = [])

Parameters

array $environment

Return Value

bool

Exceptions

InvalidArgumentException
UndefinedVariableException

at line 56
FormulaInterface where(array $environment)

Parameters

array $environment

Return Value

FormulaInterface