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:
Collaboration diagram for Parma_Polyhedra_Library::UBoundary:
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.
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] |
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:
