org.semanticweb.HermiT.datatypes.datetime
Class DateTimeValueSpaceSubset
java.lang.Object
org.semanticweb.HermiT.datatypes.datetime.DateTimeValueSpaceSubset
- All Implemented Interfaces:
- ValueSpaceSubset
public class DateTimeValueSpaceSubset
- 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<DateTimeInterval> m_intervals
DateTimeValueSpaceSubset
public DateTimeValueSpaceSubset()
DateTimeValueSpaceSubset
public DateTimeValueSpaceSubset(DateTimeInterval interval1,
DateTimeInterval interval2)
DateTimeValueSpaceSubset
public DateTimeValueSpaceSubset(java.util.List<DateTimeInterval> 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