Parma_Polyhedra_Library::LBoundary Class Reference
[C++ Language Interface]

The lower bound of an extended rational interval. More...

#include <Interval.defs.hh>

Inheritance diagram for Parma_Polyhedra_Library::LBoundary:

Inheritance graph
[legend]
Collaboration diagram for Parma_Polyhedra_Library::LBoundary:

Collaboration graph
[legend]

List of all members.

Public Types

enum  Open_Closed { OPEN = Boundary::POS, CLOSED = Boundary::ZERO }
 Kinds of lower bounds. More...

Public Member Functions

 LBoundary (const ERational &v, Open_Closed f)
 Builds a lower bound of kind f and having value v.
bool OK () const
 Checks if all the invariants are satisfied.


Detailed Description

The lower bound of an extended rational interval.

Definition at line 103 of file Interval.defs.hh.


Member Enumeration Documentation

Kinds of lower bounds.

Enumerator:
OPEN  An open lower bound.
CLOSED  A closed lower bound.

Definition at line 106 of file Interval.defs.hh.

00106                    {
00108     OPEN = Boundary::POS,
00110     CLOSED = Boundary::ZERO
00111   };


Constructor & Destructor Documentation

Parma_Polyhedra_Library::LBoundary::LBoundary ( const ERational v,
Open_Closed  f 
) [inline]

Builds a lower bound of kind f and having value v.

Definition at line 53 of file Interval.inlines.hh.

00054   : Boundary(v, f == CLOSED ? ZERO : POS) {
00055 }


Member Function Documentation

bool Parma_Polyhedra_Library::LBoundary::OK (  )  const

Checks if all the invariants are satisfied.

Definition at line 31 of file Interval.cc.

References Parma_Polyhedra_Library::Boundary::flag, Parma_Polyhedra_Library::Boundary::POS, and Parma_Polyhedra_Library::Boundary::ZERO.

Referenced by Parma_Polyhedra_Library::Interval::OK().

00031                        {
00032   if (flag != POS && flag != ZERO) {
00033 #ifndef NDEBUG
00034     std::cerr << "Invalid flag in LBoundary: " << flag << std::endl;
00035 #endif
00036     return false;
00037   }
00038   return true;
00039 }


The documentation for this class was generated from the following files:

Generated on Wed Jul 16 22:55:50 2008 for PPL by  doxygen 1.5.6