CBMC
rational_tools.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module:
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
9 
10 #ifndef CPROVER_UTIL_RATIONAL_TOOLS_H
11 #define CPROVER_UTIL_RATIONAL_TOOLS_H
12 
13 #include "std_expr.h"
14 
15 class rationalt;
16 
17 bool to_rational(const exprt &expr, rationalt &rational_value);
18 constant_exprt from_rational(const rationalt &rational_value);
19 
20 #endif // CPROVER_UTIL_RATIONAL_TOOLS_H
constant_exprt
A constant literal expression.
Definition: std_expr.h:3000
exprt
Base class for all expressions.
Definition: expr.h:56
to_rational
bool to_rational(const exprt &expr, rationalt &rational_value)
Definition: rational_tools.cpp:27
from_rational
constant_exprt from_rational(const rationalt &rational_value)
Definition: rational_tools.cpp:81
std_expr.h
API to expression classes.