public abstract class DLPElementAdapter extends ComplexLogicalFormulaAdapter implements DLPElement
Constructor and Description |
---|
DLPElementAdapter() |
Modifier and Type | Method and Description |
---|---|
abstract DLPElement |
clone()
Creates a deep copy of this formula
|
java.lang.Class<? extends Predicate> |
getPredicateCls() |
containsTermsOfType, exchange, getTerms, isGround, isLiteral, isWellFormed, substitute
equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getAtoms, getLiterals, getPredicates, getSignature, substitute
exchange, isGround, isWellFormed, substitute
equals, hashCode, isLiteral
containsTermsOfType, getTerms, getTerms
public java.lang.Class<? extends Predicate> getPredicateCls()
getPredicateCls
in interface SimpleLogicalFormula
public abstract DLPElement clone()
SimpleLogicalFormula
clone
in interface ComplexLogicalFormula
clone
in interface SimpleLogicalFormula
clone
in interface DLPElement
clone
in class ComplexLogicalFormulaAdapter