|
PPL
0.12.1
|
#include <Checked_Number.defs.hh>
Public Types | |
| typedef P | Policy |
Static Public Member Functions | |
| static const T & | raw_value (const Checked_Number< T, P > &v) |
Definition at line 107 of file Checked_Number.defs.hh.
| typedef P Parma_Polyhedra_Library::Native_Checked_From_Wrapper< Checked_Number< T, P > >::Policy |
Definition at line 108 of file Checked_Number.defs.hh.
|
inlinestatic |
Definition at line 109 of file Checked_Number.defs.hh.
References Parma_Polyhedra_Library::Checked_Number< T, Policy >::raw_value().
{
return v.raw_value();
}