#include <Interval_Restriction.defs.hh>
Public Types | |
| typedef Simple_Restriction_Integer | type |
Static Public Member Functions | |
| static type | get (const From &x) |
Definition at line 204 of file Interval_Restriction.defs.hh.
| typedef Simple_Restriction_Integer Parma_Polyhedra_Library::Restriction_Integer< From, Base, typename Enable_If< Is_Native_Or_Checked< From >::value >::type >::type |
Definition at line 205 of file Interval_Restriction.defs.hh.
| static type Parma_Polyhedra_Library::Restriction_Integer< From, Base, typename Enable_If< Is_Native_Or_Checked< From >::value >::type >::get | ( | const From & | x | ) | [inline, static] |
Definition at line 206 of file Interval_Restriction.defs.hh.
References Parma_Polyhedra_Library::is_integer().
00206 { 00207 return Simple_Restriction_Integer(is_integer(x)); 00208 }
1.6.3