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

UnaryConnectiveTrait

trait UnaryConnectiveTrait

Methods

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

No description

int
arity()

No description

Details

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

Parameters

FormulaInterface $f1
FormulaInterface ...$f

Return Value

FormulaInterface

at line 28
int arity()

Return Value

int