#include <Checked_Number.defs.hh>
Public Types | |
typedef Checked_Number_Transparent_Policy < T > | Policy |
Static Public Member Functions | |
static const T & | raw_value (const T &v) |
Definition at line 148 of file Checked_Number.defs.hh.
typedef Checked_Number_Transparent_Policy<T> Parma_Polyhedra_Library::Native_Checked_From_Wrapper< T, typename Enable_If< Is_Native< T >::value >::type >::Policy |
Definition at line 149 of file Checked_Number.defs.hh.