final class BoolValue extends AbstractPredicate

Traits

Methods

bool
apply(...$arguments)

No description

bool
applyImpl(array $arguments)

No description

void
validate(array $arguments)

No description

int
notation()

No description

int
precedence()

No description

int
arity()

No description

string
symbol()

No description

Details

in AbstractPredicate at line 27
final bool apply(...$arguments)

Parameters

...$arguments

Return Value

bool

Exceptions

InvalidArgumentException

at line 37
protected bool applyImpl(array $arguments)

Parameters

array $arguments

Return Value

bool

at line 48
protected void validate(array $arguments)

Parameters

array $arguments

Return Value

void

Exceptions

InvalidArgumentException

final int notation()

Return Value

int

final int precedence()

PredicateFormula with(TermInterface $t1, TermInterface ...$t)

Parameters

TermInterface $t1
TermInterface ...$t

Return Value

PredicateFormula

int arity()

Return Value

int

at line 29
string symbol()

Return Value

string