public interface Conjuctable extends SimpleLogicalFormula
Modifier and Type | Method and Description |
---|---|
SimpleLogicalFormula |
combineWithAnd(Conjuctable f)
Returns a conjunction of this and the given formula.
|
clone, equals, getAtoms, getPredicateCls, getPredicates, hashCode, isLiteral
getSignature
SimpleLogicalFormula combineWithAnd(Conjuctable f)
f
- a formula to be combined with AND and this.