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