cprover
|
Rational Numbers. More...
Go to the source code of this file.
Functions | |
static mp_integer | power10 (size_t i) |
bool | to_rational (const exprt &expr, rationalt &rational_value) |
constant_exprt | from_rational (const rationalt &a) |
Rational Numbers.
Definition in file rational_tools.cpp.
constant_exprt from_rational | ( | const rationalt & | a | ) |
Definition at line 81 of file rational_tools.cpp.
References rationalt::get_denominator(), rationalt::get_numerator(), integer2string(), constant_exprt::set_value(), and exprt::type().
Referenced by goto_convertt::do_prob_coin(), exprt::mul(), simplify_exprt::simplify_div(), simplify_exprt::simplify_typecast(), simplify_exprt::simplify_unary_minus(), exprt::subtract(), and exprt::sum().
|
static |
Definition at line 17 of file rational_tools.cpp.
Referenced by to_rational().
Definition at line 27 of file rational_tools.cpp.
References irept::get_string(), irept::id(), power10(), and string2integer().
Referenced by exprt::is_one(), exprt::is_zero(), exprt::mul(), simplify_exprt::simplify_div(), simplify_exprt::simplify_inequality(), simplify_exprt::simplify_unary_minus(), exprt::subtract(), and exprt::sum().