CBMC
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
rational_tools.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module:
4
5Author: 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
15class rationalt;
16
17bool to_rational(const exprt &expr, rationalt &rational_value);
19
20#endif // CPROVER_UTIL_RATIONAL_TOOLS_H
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:562
A constant literal expression.
Definition std_expr.h:3117
Base class for all expressions.
Definition expr.h:56
bool to_rational(const exprt &expr, rationalt &rational_value)
constant_exprt from_rational(const rationalt &rational_value)
API to expression classes.