com.clarkparsia.pellet.datatypes

Class OWLRealInterval

java.lang.Object

com.clarkparsia.pellet.datatypes.OWLRealInterval

public class OWLRealInterval
extends Object

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.

Author:

Mike Smith

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	OWLRealInterval.IntegerIterator
static class	OWLRealInterval.LineType

Constructor Summary

Constructors

Constructor and Description
OWLRealInterval(Number point) Create a point interval.
OWLRealInterval(Number lower, Number upper, boolean inclusiveLower, boolean inclusiveUpper, OWLRealInterval.LineType type) Create an interval.

Method Summary

Modifier and Type	Method and Description
static OWLRealInterval	allIntegers()
static OWLRealInterval	allReals()
boolean	boundLower()
boolean	boundUpper()
IntervalRelations	compare(OWLRealInterval other)
boolean	contains(Number n)
boolean	equals(Object obj)
Number	getLower()
OWLRealInterval.LineType	getType()
Number	getUpper()
OWLRealInterval	greater(Number n) Get the subinterval greater than n
int	hashCode()
boolean	inclusiveLower()
boolean	inclusiveUpper()
OWLRealInterval	intersection(OWLRealInterval that)
boolean	isFinite()
boolean	isPoint()
OWLRealInterval	less(Number n) Get the subinterval less than n
List<OWLRealInterval>	remove(OWLRealInterval other)
Number	size()
String	toString()
List<OWLRealInterval>	union(OWLRealInterval other)
Iterator<Number>	valueIterator()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

OWLRealInterval

public OWLRealInterval(Number point)

Create a point interval. This is equivalent to #OWLRealInterval(Number, Number, boolean, boolean) with arguments point,point,true,true

Parameters:

point - Value of point interval

OWLRealInterval

public OWLRealInterval(Number lower,
                       Number upper,
                       boolean inclusiveLower,
                       boolean inclusiveUpper,
                       OWLRealInterval.LineType type)

Create an interval. null should be used to indicate unbound (i.e., infinite intervals).

Parameters:

lower - Interval lower bound

upper - Interval upper bound

inclusiveLower - 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

allIntegers

public static OWLRealInterval allIntegers()

allReals

public static OWLRealInterval allReals()

boundLower

public boolean boundLower()

boundUpper

public boolean boundUpper()

compare

public IntervalRelations compare(OWLRealInterval other)

contains

public boolean contains(Number n)

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

getLower

public Number getLower()

getType

public OWLRealInterval.LineType getType()

getUpper

public Number getUpper()

greater

public OWLRealInterval greater(Number n)

Get the subinterval greater than n

Parameters:

n -

Returns:

a new interval, formed by intersecting this interval with (n,+inf) or null if that intersection is empty

hashCode

public int hashCode()

Overrides:

hashCode in class Object

inclusiveLower

public boolean inclusiveLower()

inclusiveUpper

public boolean inclusiveUpper()

intersection

public OWLRealInterval intersection(OWLRealInterval that)

isFinite

public boolean isFinite()

isPoint

public boolean isPoint()

less

public OWLRealInterval less(Number n)

Get the subinterval less than n

Parameters:

n -

Returns:

a new interval, formed by intersecting this interval with (-inf,n) or null if that intersection is empty

remove

public List<OWLRealInterval> remove(OWLRealInterval other)

size

public Number size()

toString

public String toString()

Overrides:

toString in class Object

union

public List<OWLRealInterval> union(OWLRealInterval other)

valueIterator

public Iterator<Number> valueIterator()