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

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

#include <Interval.defs.hh>

Inheritance diagram for Parma_Polyhedra_Library::UBoundary:

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

Collaboration graph
[legend]

List of all members.

Public Types

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

Public Member Functions

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


Detailed Description

The upper bound of an extended rational interval.

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


Member Enumeration Documentation

Kinds of upper bounds.

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

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

00127                    {
00129     OPEN = Boundary::NEG,
00131     CLOSED = Boundary::ZERO
00132   };


Constructor & Destructor Documentation

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

Builds an upper bound of kind f and having value v.

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

00059   : Boundary(v, f == CLOSED ? ZERO : NEG) {
00060 }


Member Function Documentation

bool Parma_Polyhedra_Library::UBoundary::OK (  )  const

Checks if all the invariants are satisfied.

Definition at line 42 of file Interval.cc.

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

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

00042                        {
00043   if (flag != NEG && flag != ZERO) {
00044 #ifndef NDEBUG
00045     std::cerr << "Invalid flag in UBoundary: " << flag << std::endl;
00046 #endif
00047     return false;
00048   }
00049   return true;
00050 }


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