|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectcom.clarkparsia.pellet.datatypes.OWLRealInterval
public class OWLRealInterval
Title: owl:real Interval
Description: An immutable interval representation supporting the
owl:real value space. Supports continuous (real) number lines,
discontinuous (real - integer) number lines, and discrete (integer) number
lines.
Copyright: Copyright (c) 2009
Company: Clark & Parsia, LLC.
| Nested Class Summary | |
|---|---|
static class |
OWLRealInterval.IntegerIterator
|
static class |
OWLRealInterval.LineType
|
| Constructor Summary | |
|---|---|
OWLRealInterval(java.lang.Number point)
Create a point interval. |
|
OWLRealInterval(java.lang.Number lower,
java.lang.Number upper,
boolean inclusiveLower,
boolean inclusiveUpper,
OWLRealInterval.LineType type)
Create an interval. |
|
| Method Summary | |
|---|---|
static OWLRealInterval |
allIntegers()
|
static OWLRealInterval |
allReals()
|
boolean |
boundLower()
|
boolean |
boundUpper()
|
IntervalRelations |
compare(OWLRealInterval other)
|
boolean |
contains(java.lang.Number n)
|
boolean |
equals(java.lang.Object obj)
|
java.lang.Number |
getLower()
|
OWLRealInterval.LineType |
getType()
|
java.lang.Number |
getUpper()
|
OWLRealInterval |
greater(java.lang.Number n)
Get the subinterval greater than n |
int |
hashCode()
|
boolean |
inclusiveLower()
|
boolean |
inclusiveUpper()
|
OWLRealInterval |
intersection(OWLRealInterval that)
|
boolean |
isFinite()
|
boolean |
isPoint()
|
OWLRealInterval |
less(java.lang.Number n)
Get the subinterval less than n |
java.util.List<OWLRealInterval> |
remove(OWLRealInterval other)
|
java.lang.Number |
size()
|
java.lang.String |
toString()
|
java.util.List<OWLRealInterval> |
union(OWLRealInterval other)
|
java.util.Iterator<java.lang.Number> |
valueIterator()
|
| Methods inherited from class java.lang.Object |
|---|
getClass, notify, notifyAll, wait, wait, wait |
| Constructor Detail |
|---|
public OWLRealInterval(java.lang.Number point)
#OWLRealInterval(Number, Number, boolean, boolean) with arguments
point,point,true,true
point - Value of point interval
public OWLRealInterval(java.lang.Number lower,
java.lang.Number upper,
boolean inclusiveLower,
boolean inclusiveUpper,
OWLRealInterval.LineType type)
null should be used to indicate unbound
(i.e., infinite intervals).
lower - Interval lower boundupper - Interval upper boundinclusiveLower - true if lower bound is inclusive,
false for exclusive. Ignored if
lower == null.inclusiveUpper - true if upper bound is inclusive,
false for exclusive. Ignored if
upper == null.| Method Detail |
|---|
public static OWLRealInterval allIntegers()
public static OWLRealInterval allReals()
public boolean boundLower()
public boolean boundUpper()
public IntervalRelations compare(OWLRealInterval other)
public boolean contains(java.lang.Number n)
public boolean equals(java.lang.Object obj)
equals in class java.lang.Objectpublic java.lang.Number getLower()
public OWLRealInterval.LineType getType()
public java.lang.Number getUpper()
public OWLRealInterval greater(java.lang.Number n)
n -
null if that intersection is emptypublic int hashCode()
hashCode in class java.lang.Objectpublic boolean inclusiveLower()
public boolean inclusiveUpper()
public OWLRealInterval intersection(OWLRealInterval that)
public boolean isFinite()
public boolean isPoint()
public OWLRealInterval less(java.lang.Number n)
n -
null if that intersection is emptypublic java.util.List<OWLRealInterval> remove(OWLRealInterval other)
public java.lang.Number size()
public java.lang.String toString()
toString in class java.lang.Objectpublic java.util.List<OWLRealInterval> union(OWLRealInterval other)
public java.util.Iterator<java.lang.Number> valueIterator()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||