trait UnaryPredicateTrait

Methods

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

No description

int
arity()

No description

Details

at line 20
PredicateFormula with(TermInterface $t1, TermInterface ...$t)

Parameters

TermInterface $t1
TermInterface ...$t

Return Value

PredicateFormula

at line 28
int arity()

Return Value

int