1. trait
  2. Tailors
  3. \
  4. Logic
  5. \
  6. Connectives
  7. \
  8. BinaryConnectiveTrait

BinaryConnectiveTrait

trait BinaryConnectiveTrait

Methods

FormulaInterface
with(FormulaInterface $f1, FormulaInterface $f2, FormulaInterface ...$f)

No description

int
arity()

No description

Details

at line 20
FormulaInterface with(FormulaInterface $f1, FormulaInterface $f2, FormulaInterface ...$f)

Parameters

FormulaInterface $f1
FormulaInterface $f2
FormulaInterface ...$f

Return Value

FormulaInterface

at line 28
int arity()

Return Value

int