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:

Serializable, DLPredicate

public class ConstantEnumeration
extends AtomicDataRange

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

See Also:

Serialized Form

Method Summary

Modifier and Type	Method and Description
static ConstantEnumeration	create(Constant[] constants)
Constant	getConstant(int index)
LiteralDataRange	getNegation()
int	getNumberOfConstants()
boolean	isAlwaysFalse()
boolean	isAlwaysTrue()
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

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.semanticweb.HermiT.model.DLPredicate

getArity

Method Detail

getNumberOfConstants

public int getNumberOfConstants()

Returns:

number of constants

getConstant

public Constant getConstant(int index)

Parameters:

index - index

Returns:

constant

getNegation

public LiteralDataRange getNegation()

Specified by:

getNegation in class AtomicDataRange

Returns:

negation

isAlwaysTrue

public boolean isAlwaysTrue()

Specified by:

isAlwaysTrue in class DataRange

Returns:

true if always true

isAlwaysFalse

public boolean isAlwaysFalse()

Specified by:

isAlwaysFalse in class DataRange

Returns:

true if always false

toString

public String toString(Prefixes prefixes)

Specified by:

toString in interface DLPredicate

Specified by:

toString in class DataRange

Parameters:

prefixes - prefixes

Returns:

toString

create

public static ConstantEnumeration create(Constant[] constants)

Parameters:

constants - constants

Returns:

enumeration