com.clarkparsia.pellet.datatypes.types.real
Class IntegerInterval
java.lang.Object
com.clarkparsia.pellet.datatypes.DiscreteInterval<java.lang.Number,IntegerInterval>
com.clarkparsia.pellet.datatypes.types.real.IntegerInterval
public class IntegerInterval
- extends DiscreteInterval<java.lang.Number,IntegerInterval>
Methods inherited from class com.clarkparsia.pellet.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 |
IntegerInterval
public IntegerInterval(java.lang.Number point)
IntegerInterval
public IntegerInterval(java.lang.Number lower,
java.lang.Number upper)
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>
Copyright © 2004 Evren Sirin. All Rights Reserved.