org.semanticweb.HermiT.model
Class ConstantEnumeration

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

public class ConstantEnumeration
extends AtomicDataRange

A data range that consists of a given set of constants.

See Also:
Serialized Form

Field Summary
protected  Constant[] m_constants
           
protected static InterningManager<ConstantEnumeration> s_interningManager
           
 
Constructor Summary
protected ConstantEnumeration(Constant[] constants)
           
 
Method Summary
static ConstantEnumeration create(Constant[] constants)
           
 Constant getConstant(int index)
           
 LiteralDataRange getNegation()
           
 int getNumberOfConstants()
           
 boolean isAlwaysFalse()
           
 boolean isAlwaysTrue()
           
protected  java.lang.Object readResolve()
           
 java.lang.String toString(Prefixes prefixes)
           
 
Methods inherited from class org.semanticweb.HermiT.model.LiteralDataRange
isInternalDatatype, isNegatedInternalDatatype
 
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_constants

protected final Constant[] m_constants

s_interningManager

protected static InterningManager<ConstantEnumeration> s_interningManager
Constructor Detail

ConstantEnumeration

protected ConstantEnumeration(Constant[] constants)
Method Detail

getNumberOfConstants

public int getNumberOfConstants()

getConstant

public Constant getConstant(int index)

getNegation

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

isAlwaysTrue

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

isAlwaysFalse

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

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 ConstantEnumeration create(Constant[] constants)