1. class
  2. Tailors
  3. \
  4. Logic
  5. \
  6. Connectives
  7. \
  8. ConnectiveFormula

ConnectiveFormula

final class ConnectiveFormula extends AbstractFunctorExpression implements FormulaInterface

Methods

__construct(ConnectiveInterface $connective, 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
ConnectiveInterface
connective()

No description

bool
evaluate(array $environment = [])

No description

FormulaInterface
where(array $environment)

No description

Details

at line 23
__construct(ConnectiveInterface $connective, array ...$arguments)

Parameters

ConnectiveInterface $connective
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 28
ConnectiveInterface connective()

Return Value

ConnectiveInterface

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

Parameters

array $environment

Return Value

bool

Exceptions

InvalidArgumentException
UndefinedVariableException

at line 54
FormulaInterface where(array $environment)

Parameters

array $environment

Return Value

FormulaInterface