org.semanticweb.HermiT.model
Class AtomicNegationConcept
java.lang.Object
org.semanticweb.HermiT.model.Concept
org.semanticweb.HermiT.model.LiteralConcept
org.semanticweb.HermiT.model.AtomicNegationConcept
- All Implemented Interfaces:
- java.io.Serializable
public class AtomicNegationConcept
- extends LiteralConcept
Represents a negation of an atomic concept.
- See Also:
- Serialized Form
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
m_negatedAtomicConcept
protected final AtomicConcept m_negatedAtomicConcept
s_interningManager
protected static InterningManager<AtomicNegationConcept> s_interningManager
AtomicNegationConcept
protected AtomicNegationConcept(AtomicConcept negatedAtomicConcept)
getNegatedAtomicConcept
public AtomicConcept getNegatedAtomicConcept()
getNegation
public LiteralConcept getNegation()
- Specified by:
getNegation
in class LiteralConcept
isAlwaysTrue
public boolean isAlwaysTrue()
- Specified by:
isAlwaysTrue
in class Concept
isAlwaysFalse
public boolean isAlwaysFalse()
- Specified by:
isAlwaysFalse
in class Concept
toString
public java.lang.String toString(Prefixes prefixes)
- Specified by:
toString
in class Concept
readResolve
protected java.lang.Object readResolve()
create
public static AtomicNegationConcept create(AtomicConcept negatedAtomicConcept)