CBMC
|
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.
|
static |
Definition at line 17 of file rational_tools.cpp.
Definition at line 27 of file rational_tools.cpp.