#include <Interval_Restriction.defs.hh>
Public Member Functions | |
Simple_Restriction_Integer (bool i) | |
bool | get_integer () const |
Private Attributes | |
bool | integer |
Definition at line 184 of file Interval_Restriction.defs.hh.
Parma_Polyhedra_Library::Simple_Restriction_Integer::Simple_Restriction_Integer | ( | bool | i | ) | [inline] |
bool Parma_Polyhedra_Library::Simple_Restriction_Integer::get_integer | ( | ) | const [inline] |
Definition at line 189 of file Interval_Restriction.defs.hh.
References integer.
00189 { 00190 return integer; 00191 }
bool Parma_Polyhedra_Library::Simple_Restriction_Integer::integer [private] |