37 for(
const char ch : value)
46 else if(
ch==
'/' ||
ch==
'.')
84 if(
a.get_denominator()!=1)
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
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 string2integer(const std::string &n, unsigned base)
const std::string integer2string(const mp_integer &n, unsigned base)