org.semanticweb.HermiT.model
Class ConstantEnumeration
java.lang.Object
org.semanticweb.HermiT.model.DataRange
org.semanticweb.HermiT.model.LiteralDataRange
org.semanticweb.HermiT.model.AtomicDataRange
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
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
m_constants
protected final Constant[] m_constants
s_interningManager
protected static InterningManager<ConstantEnumeration> s_interningManager
ConstantEnumeration
protected ConstantEnumeration(Constant[] constants)
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)