#include <Interval_Restriction.defs.hh>
Public Types | |
| typedef Simple_Restriction_Integer_Modulo < T > | type |
Static Public Member Functions | |
| static const type & | get (const From &x) |
Definition at line 429 of file Interval_Restriction.defs.hh.
| typedef Simple_Restriction_Integer_Modulo<T> Parma_Polyhedra_Library::Restriction_Integer_Modulo< From, T, Base, typename Enable_If< Is_Native_Or_Checked< From >::value >::type >::type |
Definition at line 430 of file Interval_Restriction.defs.hh.
| static const type& Parma_Polyhedra_Library::Restriction_Integer_Modulo< From, T, Base, typename Enable_If< Is_Native_Or_Checked< From >::value >::type >::get | ( | const From & | x | ) | [inline, static] |
Definition at line 431 of file Interval_Restriction.defs.hh.
References Parma_Polyhedra_Library::is_integer().
00431 { 00432 static const type integer(0, 1); 00433 static const type not_integer(0, 0); 00434 if (is_integer(x)) 00435 return integer; 00436 else 00437 return not_integer; 00438 }
1.6.3