org.semanticweb.HermiT.datatypes.doublenum

Class NoNaNDoubleSubset

java.lang.Object

org.semanticweb.HermiT.datatypes.doublenum.NoNaNDoubleSubset

All Implemented Interfaces:

ValueSpaceSubset

public class NoNaNDoubleSubset
extends Object
implements ValueSpaceSubset

Constructor Summary

Constructors

Constructor and Description
NoNaNDoubleSubset()
NoNaNDoubleSubset(DoubleInterval interval)
NoNaNDoubleSubset(List<DoubleInterval> intervals)

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

NoNaNDoubleSubset

public NoNaNDoubleSubset()

NoNaNDoubleSubset

public NoNaNDoubleSubset(DoubleInterval interval)

NoNaNDoubleSubset

public NoNaNDoubleSubset(List<DoubleInterval> 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