com.clarkparsia.pellet.datatypes.types.real

Class ContinuousRealInterval

java.lang.Object

com.clarkparsia.pellet.datatypes.types.real.ContinuousRealInterval

public class ContinuousRealInterval
extends Object

Title: owl:real Interval

Description: An immutable interval representation supporting continuous (decimal and rational) number lines in owl:real value space.

Copyright: Copyright (c) 2009

Company: Clark & Parsia, LLC.

Author:

Mike Smith

Constructor Summary

Constructors

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

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

ContinuousRealInterval

public ContinuousRealInterval(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

ContinuousRealInterval

public ContinuousRealInterval(Number lower,
                              Number upper,
                              boolean inclusiveLower,
                              boolean inclusiveUpper)

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

allReals

public static ContinuousRealInterval allReals()

boundLower

public boolean boundLower()

boundUpper

public boolean boundUpper()

canUnionWith

public boolean canUnionWith(ContinuousRealInterval other)

compare

public IntervalRelations compare(ContinuousRealInterval other)

contains

public boolean contains(Number n)

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

getLower

public Number getLower()

getUpper

public Number getUpper()

greater

public ContinuousRealInterval 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 ContinuousRealInterval intersection(ContinuousRealInterval that)

isPoint

public boolean isPoint()

less

public ContinuousRealInterval 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<ContinuousRealInterval> remove(ContinuousRealInterval other)

size

public Number size()

toString

public String toString()

Overrides:

toString in class Object

union

public List<ContinuousRealInterval> union(ContinuousRealInterval other)

valueIterator

public Iterator<Number> valueIterator()