cprover
|
#include "expr2cpp.h"
#include <cassert>
#include <util/std_types.h>
#include <util/std_expr.h>
#include <util/symbol.h>
#include <util/lispirep.h>
#include <util/lispexpr.h>
#include <util/namespace.h>
#include <ansi-c/c_misc.h>
#include <ansi-c/c_qualifiers.h>
#include <ansi-c/expr2c_class.h>
#include "cpp_name.h"
Go to the source code of this file.
Classes | |
class | expr2cppt |
Functions | |
std::string | expr2cpp (const exprt &expr, const namespacet &ns) |
std::string | type2cpp (const typet &type, const namespacet &ns) |
std::string expr2cpp | ( | const exprt & | expr, |
const namespacet & | ns | ||
) |
Definition at line 492 of file expr2cpp.cpp.
std::string type2cpp | ( | const typet & | type, |
const namespacet & | ns | ||
) |
Definition at line 499 of file expr2cpp.cpp.