#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 402 of file Interval_Restriction.defs.hh.
typedef Simple_Restriction_Integer Parma_Polyhedra_Library::Restriction_Integer< From, Base, typename Enable_If< Is_Same_Or_Derived< Interval_Restriction_Integer_Modulo_Base, typename From::info_type >::value >::type >::type |
Definition at line 403 of file Interval_Restriction.defs.hh.
static type Parma_Polyhedra_Library::Restriction_Integer< From, Base, typename Enable_If< Is_Same_Or_Derived< Interval_Restriction_Integer_Modulo_Base, typename From::info_type >::value >::type >::get | ( | const From & | x | ) | [inline, static] |