org.semanticweb.HermiT.datatypes.floatnum

Class NoNaNFloatSubset

java.lang.Object

org.semanticweb.HermiT.datatypes.floatnum.NoNaNFloatSubset

All Implemented Interfaces:

ValueSpaceSubset

public class NoNaNFloatSubset
extends Object
implements ValueSpaceSubset

Constructor Summary

Constructors

Constructor and Description
NoNaNFloatSubset()
NoNaNFloatSubset(FloatInterval interval)
NoNaNFloatSubset(List<FloatInterval> 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

NoNaNFloatSubset

public NoNaNFloatSubset()

NoNaNFloatSubset

public NoNaNFloatSubset(FloatInterval interval)

NoNaNFloatSubset

public NoNaNFloatSubset(List<FloatInterval> 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