public class DLPNot extends DLPElementAdapter implements DLPElement
Modifier and Type | Field and Description |
---|---|
(package private) DLPLiteral |
lit |
Constructor and Description |
---|
DLPNot(DLPLiteral inner) |
DLPNot(DLPNot other) |
Modifier and Type | Method and Description |
---|---|
DLPNot |
clone()
Creates a deep copy of this formula
|
boolean |
equals(java.lang.Object obj) |
java.util.Set<DLPAtom> |
getAtoms()
Processes the set of all atoms which appear in this formula
|
java.util.SortedSet<DLPLiteral> |
getLiterals() |
java.lang.Class<? extends Predicate> |
getPredicateCls() |
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.
|
java.util.Set<Term<?>> |
getTerms() |
int |
hashCode() |
boolean |
isGround()
Checks whether this formula is ground, i.e.
|
DLPNot |
substitute(Term<?> v,
Term<?> t)
Substitutes all occurrences of term "v" in this formula
by term "t" and returns the new formula.
|
java.lang.String |
toString() |
containsTermsOfType, exchange, getTerms, isLiteral, isWellFormed, substitute
finalize, getClass, notify, notifyAll, wait, wait, wait
exchange, isWellFormed, substitute
isLiteral
containsTermsOfType, getTerms
DLPLiteral lit
public DLPNot(DLPLiteral inner)
public DLPNot(DLPNot other)
public java.lang.String toString()
toString
in class java.lang.Object
public int hashCode()
hashCode
in interface SimpleLogicalFormula
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object obj)
equals
in interface SimpleLogicalFormula
equals
in class java.lang.Object
public boolean isGround()
ComplexLogicalFormula
isGround
in interface ComplexLogicalFormula
isGround
in class ComplexLogicalFormulaAdapter
public DLPNot clone()
SimpleLogicalFormula
clone
in interface ComplexLogicalFormula
clone
in interface SimpleLogicalFormula
clone
in interface DLPElement
clone
in class DLPElementAdapter
public java.util.Set<DLPAtom> getAtoms()
SimpleLogicalFormula
getAtoms
in interface SimpleLogicalFormula
getAtoms
in interface DLPElement
public java.util.Set<DLPPredicate> getPredicates()
SimpleLogicalFormula
getPredicates
in interface SimpleLogicalFormula
getPredicates
in interface DLPElement
public java.lang.Class<? extends Predicate> getPredicateCls()
getPredicateCls
in interface SimpleLogicalFormula
getPredicateCls
in class DLPElementAdapter
public FolSignature getSignature()
Formula
getSignature
in interface Formula
getSignature
in interface DLPElement
public java.util.Set<Term<?>> getTerms()
getTerms
in interface LogicStructure
public DLPNot substitute(Term<?> v, Term<?> t) throws java.lang.IllegalArgumentException
ComplexLogicalFormula
substitute
in interface ComplexLogicalFormula
substitute
in interface DLPElement
v
- the term to be substituted.t
- the term to substitute.java.lang.IllegalArgumentException
- if "v" and "t" are of different sortspublic java.util.SortedSet<DLPLiteral> getLiterals()
getLiterals
in interface DLPElement