|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcom.clarkparsia.pellet.datatypes.DiscreteInterval<T,U>
public abstract class DiscreteInterval<T extends java.lang.Number,U extends DiscreteInterval<T,U>>
Title: Discrete Interval
Description: An abstract base class interval representation of discrete value spaces. Instances are immutable.
Copyright: Copyright (c) 2009
Company: Clark & Parsia, LLC.
Nested Class Summary | |
---|---|
class |
DiscreteInterval.ValueIterator
|
Constructor Summary | |
---|---|
DiscreteInterval(T point)
Create a point interval. |
|
DiscreteInterval(T lower,
T upper)
Create an interval. |
Method Summary | |
---|---|
boolean |
canUnionWith(U other)
|
boolean |
contains(T n)
|
abstract boolean |
equals(java.lang.Object obj)
|
T |
getLower()
|
T |
getUpper()
|
U |
greater(T n)
Get the subinterval greater than n |
int |
hashCode()
|
U |
intersection(U that)
|
boolean |
isFinite()
|
U |
less(T n)
Get the subinterval less than n |
java.util.List<U> |
remove(U other)
|
abstract java.lang.Number |
size()
|
java.lang.String |
toString()
|
java.util.List<U> |
union(U other)
|
java.util.Iterator<T> |
valueIterator()
|
Methods inherited from class java.lang.Object |
---|
getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public DiscreteInterval(T point)
#DiscreteInterval(T, T)
with arguments point,point
point
- Value of point intervalpublic DiscreteInterval(T lower, T upper)
lower
- Interval lower boundupper
- Interval upper boundMethod Detail |
---|
public boolean canUnionWith(U other)
public boolean contains(T n)
public abstract boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public T getLower()
public T getUpper()
public U greater(T n)
n
-
null
if that intersection is emptypublic int hashCode()
hashCode
in class java.lang.Object
public U intersection(U that)
public boolean isFinite()
public U less(T n)
n
-
null
if that intersection is emptypublic java.util.List<U> remove(U other)
public abstract java.lang.Number size()
public java.util.List<U> union(U other)
public java.util.Iterator<T> valueIterator()
public java.lang.String toString()
toString
in class java.lang.Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |