org.semanticweb.HermiT.datatypes.doublenum
Class NoNaNDoubleSubset
java.lang.Object
org.semanticweb.HermiT.datatypes.doublenum.NoNaNDoubleSubset
- All Implemented Interfaces:
- ValueSpaceSubset
public class NoNaNDoubleSubset
- extends java.lang.Object
- implements ValueSpaceSubset
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
m_intervals
protected final java.util.List<DoubleInterval> m_intervals
NoNaNDoubleSubset
public NoNaNDoubleSubset()
NoNaNDoubleSubset
public NoNaNDoubleSubset(DoubleInterval interval)
NoNaNDoubleSubset
public NoNaNDoubleSubset(java.util.List<DoubleInterval> intervals)
hasCardinalityAtLeast
public boolean hasCardinalityAtLeast(int number)
- Specified by:
hasCardinalityAtLeast
in interface ValueSpaceSubset
containsDataValue
public boolean containsDataValue(java.lang.Object dataValue)
- Specified by:
containsDataValue
in interface ValueSpaceSubset
enumerateDataValues
public void enumerateDataValues(java.util.Collection<java.lang.Object> dataValues)
- Specified by:
enumerateDataValues
in interface ValueSpaceSubset
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object