#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 450 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_Same_Or_Derived< Interval_Restriction_Integer_Base, typename From::info_type >::value >::type >::type |
Definition at line 451 of file Interval_Restriction.defs.hh.
static const type& Parma_Polyhedra_Library::Restriction_Integer_Modulo< From, T, Base, typename Enable_If< Is_Same_Or_Derived< Interval_Restriction_Integer_Base, typename From::info_type >::value >::type >::get | ( | const From & | x | ) | [inline, static] |
Definition at line 452 of file Interval_Restriction.defs.hh.
00452 { 00453 static const type integer(0, 1); 00454 static const type not_integer(0, 0); 00455 if (x.info().get_integer()) 00456 return integer; 00457 else 00458 return not_integer; 00459 }