org.semanticweb.HermiT.datatypes.datetime
Class DateTimeValueSpaceSubset

java.lang.Object
  extended by org.semanticweb.HermiT.datatypes.datetime.DateTimeValueSpaceSubset
All Implemented Interfaces:
ValueSpaceSubset

public class DateTimeValueSpaceSubset
extends java.lang.Object
implements ValueSpaceSubset


Field Summary
protected  java.util.List<DateTimeInterval> m_intervals
           
 
Constructor Summary
DateTimeValueSpaceSubset()
           
DateTimeValueSpaceSubset(DateTimeInterval interval1, DateTimeInterval interval2)
           
DateTimeValueSpaceSubset(java.util.List<DateTimeInterval> intervals)
           
 
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
 

Field Detail

m_intervals

protected final java.util.List<DateTimeInterval> m_intervals
Constructor Detail

DateTimeValueSpaceSubset

public DateTimeValueSpaceSubset()

DateTimeValueSpaceSubset

public DateTimeValueSpaceSubset(DateTimeInterval interval1,
                                DateTimeInterval interval2)

DateTimeValueSpaceSubset

public DateTimeValueSpaceSubset(java.util.List<DateTimeInterval> intervals)
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