#include <Interval.defs.hh>
Public Member Functions | |
bool | is_closed () const |
Returns true if and only if *this is a closed bound. | |
const ERational & | bound () const |
Returns a const reference to the value of the bound. | |
ERational & | bound () |
Returns a reference to the value of the bound. | |
Protected Types | |
enum | Flag { NEG = -1, ZERO = 0, POS = 1 } |
Kinds of bounds. More... | |
Protected Member Functions | |
Boundary (const ERational &v, Flag f) | |
Builds a bound of kind f and having value v . | |
Protected Attributes | |
ERational | value |
The extended rational value of the bound. | |
Flag | flag |
The kind of the bound. | |
Friends | |
bool | operator< (const Boundary &x, const Boundary &y) |
Returns true if and only if x is less than y . | |
bool | operator> (const Boundary &x, const Boundary &y) |
Returns true if and only if x is greater than y . |
An object of class Boundary represents either an upper or a lower bound of an interval over the set of extended rational numbers.
Definition at line 62 of file Interval.defs.hh.
enum Parma_Polyhedra_Library::Boundary::Flag [protected] |
bool Parma_Polyhedra_Library::Boundary::is_closed | ( | ) | const [inline] |
Returns true
if and only if *this
is a closed bound.
Definition at line 38 of file Interval.inlines.hh.
Referenced by interval_term(), and Parma_Polyhedra_Library::Polyhedron::shrink_bounding_box().
const ERational & Parma_Polyhedra_Library::Boundary::bound | ( | ) | const [inline] |
Returns a const reference to the value of the bound.
Definition at line 43 of file Interval.inlines.hh.
References value.
Referenced by Parma_Polyhedra_Library::Bounding_Box::CC76_widening_assign(), interval_term(), and Parma_Polyhedra_Library::Polyhedron::shrink_bounding_box().
00043 { 00044 return value; 00045 }
ERational & Parma_Polyhedra_Library::Boundary::bound | ( | ) | [inline] |
Returns a reference to the value of the bound.
Definition at line 48 of file Interval.inlines.hh.
References value.
00048 { 00049 return value; 00050 }
ERational Parma_Polyhedra_Library::Boundary::value [protected] |
The extended rational value of the bound.
Definition at line 75 of file Interval.defs.hh.
Referenced by bound().
Flag Parma_Polyhedra_Library::Boundary::flag [protected] |
The kind of the bound.
Definition at line 77 of file Interval.defs.hh.
Referenced by is_closed(), Parma_Polyhedra_Library::UBoundary::OK(), and Parma_Polyhedra_Library::LBoundary::OK().