BinaryPredicateTrait
trait BinaryPredicateTrait
Methods
int
arity()
No description
trait BinaryPredicateTrait
No description
PredicateFormula
with(TermInterface $t1, TermInterface $t2, TermInterface ...$t)
int
arity()