final class Tee implements PredicateInterface, FormulaInterface

Traits

Methods

int
notation()

No description

bool
apply(...$arguments)

No description

int
arity()

No description

string
symbol()

No description

string
expressionString(FunctorExpressionInterface $parent = null)

No description

int
precedence()

No description

bool
evaluate(array $environment = [])

No description

where(array $environment)

No description

Details

final int notation()

Return Value

int

at line 27
bool apply(...$arguments)

Parameters

...$arguments

Return Value

bool

at line 35
int arity()

Return Value

int

at line 40
string symbol()

Return Value

string

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

Parameters

FunctorExpressionInterface $parent

Return Value

string

at line 55
int precedence()

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

Parameters

array $environment

Return Value

bool

at line 71
FormulaInterface where(array $environment)

Parameters

array $environment

Return Value

FormulaInterface