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