org.semanticweb.HermiT.model
Class AtLeastDataRange

java.lang.Object
  extended by org.semanticweb.HermiT.model.Concept
      extended by org.semanticweb.HermiT.model.ExistentialConcept
          extended by org.semanticweb.HermiT.model.AtLeast
              extended by org.semanticweb.HermiT.model.AtLeastDataRange
All Implemented Interfaces:
java.io.Serializable, DLPredicate

public class AtLeastDataRange
extends AtLeast

Represents at-least concept.

See Also:
Serialized Form

Field Summary
protected  LiteralDataRange m_toDataRange
           
protected static InterningManager<AtLeastDataRange> s_interningManager
           
 
Fields inherited from class org.semanticweb.HermiT.model.AtLeast
m_number, m_onRole
 
Constructor Summary
protected AtLeastDataRange(int number, Role onRole, LiteralDataRange toConcept)
           
 
Method Summary
static AtLeastDataRange create(int number, Role onRole, LiteralDataRange toDataRange)
           
 LiteralDataRange getToDataRange()
           
 boolean isAlwaysFalse()
           
protected  java.lang.Object readResolve()
           
 java.lang.String toString(Prefixes prefixes)
           
 
Methods inherited from class org.semanticweb.HermiT.model.AtLeast
getArity, getNumber, getOnRole, isAlwaysTrue
 
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_toDataRange

protected final LiteralDataRange m_toDataRange

s_interningManager

protected static InterningManager<AtLeastDataRange> s_interningManager
Constructor Detail

AtLeastDataRange

protected AtLeastDataRange(int number,
                           Role onRole,
                           LiteralDataRange toConcept)
Method Detail

getToDataRange

public LiteralDataRange getToDataRange()

isAlwaysFalse

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

readResolve

protected java.lang.Object readResolve()

toString

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

create

public static AtLeastDataRange create(int number,
                                      Role onRole,
                                      LiteralDataRange toDataRange)