public interface Disjunctable extends SimpleLogicalFormula
Modifier and Type | Method and Description |
---|---|
SimpleLogicalFormula |
combineWithOr(Disjunctable f) |
clone, equals, getAtoms, getPredicateCls, getPredicates, hashCode, isLiteral
getSignature
SimpleLogicalFormula combineWithOr(Disjunctable f)
f
- a formula to be combined with OR and this.