cprover
Loading...
Searching...
No Matches
expr2cpp.cpp File Reference
#include "expr2cpp.h"
#include <util/c_types.h>
#include <util/lispexpr.h>
#include <util/lispirep.h>
#include <util/namespace.h>
#include <util/pointer_expr.h>
#include <util/std_expr.h>
#include <ansi-c/c_misc.h>
#include <ansi-c/c_qualifiers.h>
#include <ansi-c/expr2c_class.h>
#include "cpp_name.h"
#include "cpp_template_type.h"
Include dependency graph for expr2cpp.cpp:

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)

Function Documentation

◆ expr2cpp()

std::string expr2cpp ( const exprt & expr,
const namespacet & ns )

Definition at line 486 of file expr2cpp.cpp.

◆ type2cpp()

std::string type2cpp ( const typet & type,
const namespacet & ns )

Definition at line 493 of file expr2cpp.cpp.