com.clarkparsia.pellet.datatypes.types.real
Class IntegerInterval

java.lang.Object
  extended by com.clarkparsia.pellet.datatypes.DiscreteInterval<java.lang.Number,IntegerInterval>
      extended by com.clarkparsia.pellet.datatypes.types.real.IntegerInterval

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


Nested Class Summary
 
Nested classes/interfaces inherited from class com.clarkparsia.pellet.datatypes.DiscreteInterval
DiscreteInterval.ValueIterator
 
Constructor Summary
IntegerInterval(java.lang.Number point)
           
IntegerInterval(java.lang.Number lower, java.lang.Number upper)
           
 
Method Summary
static IntegerInterval allIntegers()
           
 boolean equals(java.lang.Object obj)
           
 java.lang.Number size()
           
 
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
 

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>


Copyright © 2004 Evren Sirin. All Rights Reserved.