Home
last modified time | relevance | path

Searched refs:PPL_SAFE_CONVERSION (Results 1 – 3 of 3) sorted by relevance

/dports/devel/ppl/ppl-1.2/src/
H A Dchecked_inlines.hh57 PPL_SAFE_CONVERSION(signed short, char);
68 PPL_SAFE_CONVERSION(signed int, char);
74 PPL_SAFE_CONVERSION(signed int, char);
83 PPL_SAFE_CONVERSION(signed long, char);
90 PPL_SAFE_CONVERSION(signed long, char);
152 PPL_SAFE_CONVERSION(float, char);
174 PPL_SAFE_CONVERSION(double, char);
194 PPL_SAFE_CONVERSION(double, float);
220 PPL_SAFE_CONVERSION(mpz_class, char);
232 PPL_SAFE_CONVERSION(mpq_class, char);
[all …]
H A Dppl.hh.dist7025 PPL_SAFE_CONVERSION(signed int, char);
7031 PPL_SAFE_CONVERSION(signed int, char);
7040 PPL_SAFE_CONVERSION(signed long, char);
7047 PPL_SAFE_CONVERSION(signed long, char);
7109 PPL_SAFE_CONVERSION(float, char);
7131 PPL_SAFE_CONVERSION(double, char);
7151 PPL_SAFE_CONVERSION(double, float);
7177 PPL_SAFE_CONVERSION(mpz_class, char);
7189 PPL_SAFE_CONVERSION(mpq_class, char);
7200 PPL_SAFE_CONVERSION(mpq_class, float);
[all …]
/dports/devel/ppl/ppl-1.2/
H A DChangeLog_2001-20082117 `PPL_SAFE_CONVERSION' and #undef'ined after its use.