#include <Interval.defs.hh>
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. |
Definition at line 103 of file Interval.defs.hh.
Kinds of lower bounds.
Definition at line 106 of file Interval.defs.hh.
00106 { 00108 OPEN = Boundary::POS, 00110 CLOSED = Boundary::ZERO 00111 };
Parma_Polyhedra_Library::LBoundary::LBoundary | ( | const ERational & | v, | |
Open_Closed | f | |||
) | [inline] |
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 }