29 if(expr.
id()!=ID_constant)
32 const std::string &value=expr.
get_string(ID_value);
37 for(
const char ch : value)
46 else if(ch==
'/' || ch==
'.')
const mp_integer string2integer(const std::string &n, unsigned base)
const std::string integer2string(const mp_integer &n, unsigned base)
const mp_integer & get_numerator() const
Unbounded, signed rational numbers.
A constant literal expression.
const irep_idt & id() const
const mp_integer & get_denominator() const
Base class for all expressions.
const std::string & get_string(const irep_namet &name) const