org.semanticweb.HermiT.datatypes.owlreal

Class OWLRealValueSpaceSubset

java.lang.Object

org.semanticweb.HermiT.datatypes.owlreal.OWLRealValueSpaceSubset

All Implemented Interfaces:

ValueSpaceSubset

public class OWLRealValueSpaceSubset
extends Object
implements ValueSpaceSubset

OWLRealValueSpaceSubset.

Constructor Summary

Constructors

Constructor and Description
OWLRealValueSpaceSubset() Empty constructor.
OWLRealValueSpaceSubset(List<NumberInterval> intervals)
OWLRealValueSpaceSubset(NumberInterval interval)

Method Summary

Modifier and Type	Method and Description
boolean	containsDataValue(Object dataValue)
void	enumerateDataValues(Collection<Object> dataValues)
boolean	hasCardinalityAtLeast(int number)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

OWLRealValueSpaceSubset

public OWLRealValueSpaceSubset()

Empty constructor.

OWLRealValueSpaceSubset

public OWLRealValueSpaceSubset(NumberInterval interval)

Parameters:

interval - interval

OWLRealValueSpaceSubset

public OWLRealValueSpaceSubset(List<NumberInterval> intervals)

Parameters:

intervals - intervals

Method Detail

hasCardinalityAtLeast

public boolean hasCardinalityAtLeast(int number)

Specified by:

hasCardinalityAtLeast in interface ValueSpaceSubset

Parameters:

number - number

Returns:

true if has cardinality at least

containsDataValue

public boolean containsDataValue(Object dataValue)

Specified by:

containsDataValue in interface ValueSpaceSubset

Parameters:

dataValue - dataValue

Returns:

true if it has data value

enumerateDataValues

public void enumerateDataValues(Collection<Object> dataValues)

Specified by:

enumerateDataValues in interface ValueSpaceSubset

Parameters:

dataValues - dataValues

toString

public String toString()

Overrides:

toString in class Object