org.semanticweb.HermiT.datatypes.doublenum
Class EntireDoubleSubset

java.lang.Object
  extended by org.semanticweb.HermiT.datatypes.doublenum.EntireDoubleSubset
All Implemented Interfaces:
ValueSpaceSubset

public class EntireDoubleSubset
extends java.lang.Object
implements ValueSpaceSubset


Constructor Summary
EntireDoubleSubset()
           
 
Method Summary
 boolean containsDataValue(java.lang.Object dataValue)
           
 void enumerateDataValues(java.util.Collection<java.lang.Object> dataValues)
           
 boolean hasCardinalityAtLeast(int number)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

EntireDoubleSubset

public EntireDoubleSubset()
Method Detail

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