#include <Interval.defs.hh>
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. |
Definition at line 124 of file Interval.defs.hh.
Kinds of upper bounds.
Definition at line 127 of file Interval.defs.hh.
00127 { 00129 OPEN = Boundary::NEG, 00131 CLOSED = Boundary::ZERO 00132 };
Parma_Polyhedra_Library::UBoundary::UBoundary | ( | const ERational & | v, | |
Open_Closed | f | |||
) | [inline] |
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 }