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