org.semanticweb.HermiT.model
Class AtomicNegationConcept

java.lang.Object
  extended by org.semanticweb.HermiT.model.Concept
      extended by org.semanticweb.HermiT.model.LiteralConcept
          extended by 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

Field Summary
protected  AtomicConcept m_negatedAtomicConcept
           
protected static InterningManager<AtomicNegationConcept> s_interningManager
           
 
Constructor Summary
protected AtomicNegationConcept(AtomicConcept negatedAtomicConcept)
           
 
Method Summary
static AtomicNegationConcept create(AtomicConcept negatedAtomicConcept)
           
 AtomicConcept getNegatedAtomicConcept()
           
 LiteralConcept getNegation()
           
 boolean isAlwaysFalse()
           
 boolean isAlwaysTrue()
           
protected  java.lang.Object readResolve()
           
 java.lang.String toString(Prefixes prefixes)
           
 
Methods inherited from class org.semanticweb.HermiT.model.Concept
toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

m_negatedAtomicConcept

protected final AtomicConcept m_negatedAtomicConcept

s_interningManager

protected static InterningManager<AtomicNegationConcept> s_interningManager
Constructor Detail

AtomicNegationConcept

protected AtomicNegationConcept(AtomicConcept negatedAtomicConcept)
Method Detail

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)