com.clarkparsia.pellet.datatypes

Class FloatingPointInterval<T extends Number & Comparable<T>>

java.lang.Object

com.clarkparsia.pellet.datatypes.FloatingPointInterval<T>

public class FloatingPointInterval<T extends Number & Comparable<T>>
extends Object

Title: Floating Point Interval

Description: An immutable interval representation supporting the value space of floating point numbers.

Copyright: Copyright (c) 2009

Company: Clark & Parsia, LLC.

Author:

Mike Smith

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	FloatingPointInterval.ValueIterator

Constructor Summary

Constructors

Constructor and Description
FloatingPointInterval(FloatingPointType<T> type, T point) Create a point interval.
FloatingPointInterval(FloatingPointType<T> type, T lower, T upper) Create an interval.

Method Summary

Modifier and Type	Method and Description
boolean	canUnionWith(FloatingPointInterval<T> other)
boolean	contains(T n)
boolean	equals(Object obj)
T	getLower()
T	getUpper()
FloatingPointInterval<T>	greater(T n) Get the subinterval greater than n
int	hashCode()
FloatingPointInterval<T>	intersection(FloatingPointInterval<T> that)
FloatingPointInterval<T>	less(T n) Get the subinterval less than n
List<FloatingPointInterval<T>>	remove(FloatingPointInterval<T> other)
Number	size()
static <U extends Number & Comparable<U>> FloatingPointInterval<U>	unconstrained(FloatingPointType<U> type)
List<FloatingPointInterval<T>>	union(FloatingPointInterval<T> other)
Iterator<T>	valueIterator()

Methods inherited from class java.lang.Object

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

Constructor Detail

FloatingPointInterval

public FloatingPointInterval(FloatingPointType<T> type,
                             T point)

Create a point interval. This is equivalent to #IEEEFloatInterval(Float, Float) with arguments point,point,true,true

Parameters:

point - Value of point interval

FloatingPointInterval

public FloatingPointInterval(FloatingPointType<T> type,
                             T lower,
                             T upper)

Create an interval.

Parameters:

lower - Interval lower bound

upper - Interval upper bound

Method Detail

unconstrained

public static <U extends Number & Comparable<U>> FloatingPointInterval<U> unconstrained(FloatingPointType<U> type)

canUnionWith

public boolean canUnionWith(FloatingPointInterval<T> other)

contains

public boolean contains(T n)

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

getLower

public T getLower()

getUpper

public T getUpper()

greater

public FloatingPointInterval<T> 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

intersection

public FloatingPointInterval<T> intersection(FloatingPointInterval<T> that)

less

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

size

public Number size()

union

public List<FloatingPointInterval<T>> union(FloatingPointInterval<T> other)

valueIterator

public Iterator<T> valueIterator()