1. trait
  2. Tailors
  3. \
  4. Logic
  5. \
  6. Predicates
  7. \
  8. BinaryPredicateTrait

BinaryPredicateTrait

trait BinaryPredicateTrait

Methods

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

No description

int
arity()

No description

Details

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

Parameters

TermInterface $t1
TermInterface $t2
TermInterface ...$t

Return Value

PredicateFormula

at line 28
int arity()

Return Value

int