org.semanticweb.HermiT.datatypes.doublenum
Class EntireDoubleSubset
java.lang.Object
org.semanticweb.HermiT.datatypes.doublenum.EntireDoubleSubset
- All Implemented Interfaces:
- ValueSpaceSubset
public class EntireDoubleSubset
- extends Object
- implements ValueSpaceSubset
EntireDoubleSubset
public EntireDoubleSubset()
hasCardinalityAtLeast
public boolean hasCardinalityAtLeast(int number)
- Specified by:
hasCardinalityAtLeast
in interface ValueSpaceSubset
containsDataValue
public boolean containsDataValue(Object dataValue)
- Specified by:
containsDataValue
in interface ValueSpaceSubset
enumerateDataValues
public void enumerateDataValues(Collection<Object> dataValues)
- Specified by:
enumerateDataValues
in interface ValueSpaceSubset
toString
public String toString()
- Overrides:
toString
in class Object
Copyright © 2012. All Rights Reserved.