Package openllet.core.datatypes.types.real

Class IntegerInterval

java.lang.Object

openllet.core.datatypes.DiscreteInterval<java.lang.Number,IntegerInterval>

openllet.core.datatypes.types.real.IntegerInterval

public class IntegerInterval
extends DiscreteInterval<java.lang.Number,IntegerInterval>

Nested Class Summary

Nested classes/interfaces inherited from class openllet.core.datatypes.DiscreteInterval

DiscreteInterval.ValueIterator

Constructor Summary

Constructors

Constructor	Description
IntegerInterval(java.lang.Number point)
IntegerInterval(java.lang.Number lower, java.lang.Number upper)

Method Summary

Modifier and Type	Method	Description
static IntegerInterval	allIntegers()
boolean	equals(java.lang.Object obj)
java.lang.Number	size()

Methods inherited from class openllet.core.datatypes.DiscreteInterval

canUnionWith, contains, getLower, getUpper, greater, hashCode, intersection, isFinite, less, remove, toString, union, valueIterator

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

IntegerInterval

public IntegerInterval(java.lang.Number point)

IntegerInterval

public IntegerInterval(java.lang.Number lower,
                       java.lang.Number upper)

Method Detail

allIntegers

public static IntegerInterval allIntegers()

equals

public boolean equals(java.lang.Object obj)

Specified by:

equals in class DiscreteInterval<java.lang.Number,IntegerInterval>

size

public java.lang.Number size()

Specified by:

size in class DiscreteInterval<java.lang.Number,IntegerInterval>