public interface DLPElement extends ComplexLogicalFormula
Modifier and Type | Method and Description |
---|---|
DLPElement |
clone()
Creates a deep copy of this formula
|
java.util.Set<DLPAtom> |
getAtoms()
Processes the set of all atoms which appear in this formula
|
java.util.SortedSet<DLPLiteral> |
getLiterals() |
java.util.Set<DLPPredicate> |
getPredicates()
Processes the set of all predicates which appear in this
formula
|
FolSignature |
getSignature()
Returns the signature of the language of this formula.
|
DLPElement |
substitute(Term<?> t,
Term<?> v)
Substitutes all occurrences of term "v" in this formula
by term "t" and returns the new formula.
|
exchange, isGround, isWellFormed, substitute
equals, getPredicateCls, hashCode, isLiteral
containsTermsOfType, getTerms, getTerms
java.util.SortedSet<DLPLiteral> getLiterals()
java.util.Set<DLPPredicate> getPredicates()
SimpleLogicalFormula
getPredicates
in interface SimpleLogicalFormula
java.util.Set<DLPAtom> getAtoms()
SimpleLogicalFormula
getAtoms
in interface SimpleLogicalFormula
DLPElement substitute(Term<?> t, Term<?> v)
ComplexLogicalFormula
substitute
in interface ComplexLogicalFormula
t
- the term to be substituted.v
- the term to substitute.FolSignature getSignature()
Formula
getSignature
in interface Formula
DLPElement clone()
SimpleLogicalFormula
clone
in interface ComplexLogicalFormula
clone
in interface SimpleLogicalFormula