org.semanticweb.HermiT.model
Class AtomicNegationDataRange

java.lang.Object
  extended by org.semanticweb.HermiT.model.DataRange
      extended by org.semanticweb.HermiT.model.LiteralDataRange
          extended by org.semanticweb.HermiT.model.AtomicNegationDataRange
All Implemented Interfaces:
java.io.Serializable, DLPredicate

public class AtomicNegationDataRange
extends LiteralDataRange

Represents a negation of a data range.

See Also:
Serialized Form

Field Summary
protected  AtomicDataRange m_negatedDataRange
           
protected static InterningManager<AtomicNegationDataRange> s_interningManager
           
 
Constructor Summary
protected AtomicNegationDataRange(AtomicDataRange negatedDataRange)
           
 
Method Summary
static AtomicNegationDataRange create(AtomicDataRange negatedDataRange)
           
 AtomicDataRange getNegatedDataRange()
           
 LiteralDataRange getNegation()
           
 boolean isAlwaysFalse()
           
 boolean isAlwaysTrue()
           
 boolean isNegatedInternalDatatype()
           
protected  java.lang.Object readResolve()
           
 java.lang.String toString(Prefixes prefixes)
           
 
Methods inherited from class org.semanticweb.HermiT.model.LiteralDataRange
isInternalDatatype
 
Methods inherited from class org.semanticweb.HermiT.model.DataRange
getArity, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface org.semanticweb.HermiT.model.DLPredicate
getArity
 

Field Detail

m_negatedDataRange

protected final AtomicDataRange m_negatedDataRange

s_interningManager

protected static InterningManager<AtomicNegationDataRange> s_interningManager
Constructor Detail

AtomicNegationDataRange

protected AtomicNegationDataRange(AtomicDataRange negatedDataRange)
Method Detail

getNegatedDataRange

public AtomicDataRange getNegatedDataRange()

getNegation

public LiteralDataRange getNegation()
Specified by:
getNegation in class LiteralDataRange

isAlwaysTrue

public boolean isAlwaysTrue()
Specified by:
isAlwaysTrue in class DataRange

isAlwaysFalse

public boolean isAlwaysFalse()
Specified by:
isAlwaysFalse in class DataRange

isNegatedInternalDatatype

public boolean isNegatedInternalDatatype()
Overrides:
isNegatedInternalDatatype in class LiteralDataRange

toString

public java.lang.String toString(Prefixes prefixes)
Specified by:
toString in interface DLPredicate
Specified by:
toString in class DataRange

readResolve

protected java.lang.Object readResolve()

create

public static AtomicNegationDataRange create(AtomicDataRange negatedDataRange)