#include <Interval_Restriction.defs.hh>


Public Member Functions | |
| Simple_Restriction_Integer (bool i) | |
| bool | get_integer () const |
Private Attributes | |
| bool | integer |
Definition at line 188 of file Interval_Restriction.defs.hh.
| Parma_Polyhedra_Library::Simple_Restriction_Integer::Simple_Restriction_Integer | ( | bool | i | ) | [inline] |
Definition at line 190 of file Interval_Restriction.defs.hh.
00191 : integer(i) { 00192 }
| bool Parma_Polyhedra_Library::Simple_Restriction_Integer::get_integer | ( | ) | const [inline] |
Definition at line 193 of file Interval_Restriction.defs.hh.
References integer.
00193 { 00194 return integer; 00195 }
bool Parma_Polyhedra_Library::Simple_Restriction_Integer::integer [private] |
Definition at line 197 of file Interval_Restriction.defs.hh.
Referenced by get_integer().
1.6.3