lineInterval

A lineInterval is an interval version of a linear approximation to a function. Many of the functions in the Kepler library return lineIntervals.

[ kepler | Source | Keywords | Summary | Ancestors | All Members | Descendants ]

Quick Index

OVERVIEW TEXT
AUTHOR

Class Summary

class lineInterval

{

public:
double hi() const;
double low() const;
interval partial(int i) const;
lineInterval(interval);
lineInterval();
protected:
}; // lineInterval

Back to the top of lineInterval


OVERVIEW TEXT

A lineInterval should be thought of as an interval version of a linear function. Functions in the Kepler library typically return lineIntervals. This return value is a linearization of the function at the point at which it is evaluated. Upper and lower bounds on the function value are obtained through the member functions hi() and low(). Interval bounds on the partial derivatives of the lineInterval are obtained through the function partial(int).

Back to the top of lineInterval


AUTHOR

Thomas C. Hales

Back to the top of lineInterval


double hi() const;

The upper bound on a lineInterval

inline double hi() const;

Function is currently defined inline.


Back to the top of lineInterval


double low() const;

The lower bound on a lineInterval

inline double low() const;

Function is currently defined inline.


Back to the top of lineInterval


interval partial(int i) const;

Interval bounds on the ith partial derivative of the lineInterval

interval partial(int i) const;

Back to the top of lineInterval


lineInterval(interval);

An interval can be promoted to a constant function (all partial derivatives are zero)

lineInterval(interval);

Back to the top of lineInterval


lineInterval();

Initialize to zero.

lineInterval();

Back to the top of lineInterval


All Members

public:
double hi() const;
double low() const;
interval partial(int i) const;
protected:

Back to the top of lineInterval


Ancestors

Class does not inherit from any other class.

Back to the top of lineInterval


Descendants

Class is not inherited by any others.

Back to the top of lineInterval


Generated from source by the Cocoon utilities on Mon Dec 22 19:37:21 1997 .

Report problems to jkotula@unimax.com