org.semanticweb.HermiT.datatypes.datetime

Class DateTimeValueSpaceSubset

java.lang.Object

org.semanticweb.HermiT.datatypes.datetime.DateTimeValueSpaceSubset

All Implemented Interfaces:

ValueSpaceSubset

public class DateTimeValueSpaceSubset
extends Object
implements ValueSpaceSubset

DateTimeValueSpaceSubset

Constructor Summary

Constructors

Constructor and Description
DateTimeValueSpaceSubset() Empty interval.
DateTimeValueSpaceSubset(DateTimeInterval interval1, DateTimeInterval interval2)
DateTimeValueSpaceSubset(List<DateTimeInterval> intervals)

Method Summary

Modifier and Type	Method and Description
boolean	containsDataValue(Object dataValue)
void	enumerateDataValues(Collection<Object> dataValues)
boolean	hasCardinalityAtLeast(int number)
String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

DateTimeValueSpaceSubset

public DateTimeValueSpaceSubset()

Empty interval.

DateTimeValueSpaceSubset

public DateTimeValueSpaceSubset(DateTimeInterval interval1,
                                DateTimeInterval interval2)

Parameters:

interval1 - interval1

interval2 - interval2

DateTimeValueSpaceSubset

public DateTimeValueSpaceSubset(List<DateTimeInterval> intervals)

Parameters:

intervals - intervals

Method Detail

hasCardinalityAtLeast

public boolean hasCardinalityAtLeast(int number)

Specified by:

hasCardinalityAtLeast in interface ValueSpaceSubset

Parameters:

number - number

Returns:

true if has cardinality at least

containsDataValue

public boolean containsDataValue(Object dataValue)

Specified by:

containsDataValue in interface ValueSpaceSubset

Parameters:

dataValue - dataValue

Returns:

true if it has data value

enumerateDataValues

public void enumerateDataValues(Collection<Object> dataValues)

Specified by:

enumerateDataValues in interface ValueSpaceSubset

Parameters:

dataValues - dataValues

toString

public String toString()

Overrides:

toString in class Object