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