BinaryConnectiveTrait
trait BinaryConnectiveTrait
Methods
int
arity()
No description
trait BinaryConnectiveTrait
No description
FormulaInterface
with(FormulaInterface $f1, FormulaInterface $f2, FormulaInterface ...$f)
int
arity()