org.semanticweb.HermiT.datatypes.owlreal
Class OWLRealValueSpaceSubset
java.lang.Object
org.semanticweb.HermiT.datatypes.owlreal.OWLRealValueSpaceSubset
- All Implemented Interfaces:
- ValueSpaceSubset
public class OWLRealValueSpaceSubset
- 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<NumberInterval> m_intervals
OWLRealValueSpaceSubset
public OWLRealValueSpaceSubset()
OWLRealValueSpaceSubset
public OWLRealValueSpaceSubset(NumberInterval interval)
OWLRealValueSpaceSubset
public OWLRealValueSpaceSubset(java.util.List<NumberInterval> 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