com.clarkparsia.pellet.datatypes

Class DiscreteInterval<T extends Number,U extends DiscreteInterval<T,U>>

java.lang.Object

com.clarkparsia.pellet.datatypes.DiscreteInterval<T,U>

Direct Known Subclasses:

FloatingPointInterval, IntegerInterval

public abstract class DiscreteInterval<T extends Number,U extends DiscreteInterval<T,U>>
extends Object

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.

Author:

Mike Smith

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected static class	DiscreteInterval.NullSemantics
class	DiscreteInterval.ValueIterator

Field Summary

Fields

Modifier and Type	Field and Description
protected static DiscreteInterval.NullSemantics	GREATEST
protected static DiscreteInterval.NullSemantics	LEAST
protected static DiscreteInterval.NullSemantics	NA

Constructor Summary

Constructors

Constructor and Description
DiscreteInterval(T point) Create a point interval.
DiscreteInterval(T lower, T upper) Create an interval.

Method Summary

Modifier and Type	Method and Description
boolean	canUnionWith(U other)
protected abstract U	cast(DiscreteInterval<T,U> i)
protected abstract int	compare(T a, DiscreteInterval.NullSemantics na, T b, DiscreteInterval.NullSemantics nb)
boolean	contains(T n)
protected abstract U	create(T lower, T upper)
protected abstract T	decrement(T t)
protected abstract boolean	equal(T a, T b)
abstract boolean	equals(Object obj)
T	getLower()
T	getUpper()
U	greater(T n) Get the subinterval greater than n
int	hashCode()
protected abstract T	increment(T t)
U	intersection(U that)
boolean	isFinite()
U	less(T n) Get the subinterval less than n
List<U>	remove(U other)
abstract Number	size()
String	toString()
List<U>	union(U other)
protected abstract boolean	valid(T t)
Iterator<T>	valueIterator()

Methods inherited from class java.lang.Object

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

Field Detail

GREATEST

protected static final DiscreteInterval.NullSemantics GREATEST

LEAST

protected static final DiscreteInterval.NullSemantics LEAST

NA

protected static final DiscreteInterval.NullSemantics NA

Constructor Detail

DiscreteInterval

public DiscreteInterval(T point)

Create a point interval. This is equivalent to #DiscreteInterval(T, T) with arguments point,point

Parameters:

point - Value of point interval

DiscreteInterval

public DiscreteInterval(T lower,
                        T upper)

Create an interval.

Parameters:

lower - Interval lower bound

upper - Interval upper bound

Method Detail

canUnionWith

public boolean canUnionWith(U other)

cast

protected abstract U cast(DiscreteInterval<T,U> i)

compare

protected abstract int compare(T a,
                               DiscreteInterval.NullSemantics na,
                               T b,
                               DiscreteInterval.NullSemantics nb)

contains

public boolean contains(T n)

create

protected abstract U create(T lower,
                            T upper)

decrement

protected abstract T decrement(T t)

equal

protected abstract boolean equal(T a,
                                 T b)

equals

public abstract boolean equals(Object obj)

Overrides:

equals in class Object

getLower

public T getLower()

getUpper

public T getUpper()

greater

public U greater(T 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

increment

protected abstract T increment(T t)

intersection

public U intersection(U that)

isFinite

public boolean isFinite()

less

public U less(T 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<U> remove(U other)

size

public abstract Number size()

union

public List<U> union(U other)

valid

protected abstract boolean valid(T t)

valueIterator

public Iterator<T> valueIterator()

toString

public String toString()

Overrides:

toString in class Object