cprover
|
#include "std_expr.h"
Go to the source code of this file.
Functions | |
bool | to_rational (const exprt &expr, rationalt &rational_value) |
constant_exprt | from_rational (const rationalt &rational_value) |
constant_exprt from_rational | ( | const rationalt & | rational_value | ) |
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().
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().