final class QuantifiedFormula implements FormulaInterface

Methods

__construct(FormulaInterface $formula, array $environment)

No description

formula()

No description

array
environment()

No description

string
expressionString(FunctorExpressionInterface $parent = null)

No description

bool
evaluate(array $environment = [])

No description

where(array $environment)

No description

Details

at line 31
__construct(FormulaInterface $formula, array $environment)

Parameters

FormulaInterface $formula
array $environment

at line 37
FormulaInterface formula()

Return Value

FormulaInterface

at line 45
array environment()

Return Value

array

at line 54
string expressionString(FunctorExpressionInterface $parent = null)

Parameters

FunctorExpressionInterface $parent

Return Value

string

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

Parameters

array $environment

Return Value

bool

Exceptions

InvalidArgumentException
UndefinedVariableException

at line 73
FormulaInterface where(array $environment)

Parameters

array $environment

Return Value

FormulaInterface