cprover
expr2c.cpp File Reference
#include "expr2c.h"
#include <cassert>
#include <cctype>
#include <cstdio>
#include <map>
#include <set>
#include <util/arith_tools.h>
#include <util/c_types.h>
#include <util/config.h>
#include <util/std_types.h>
#include <util/std_code.h>
#include <util/ieee_float.h>
#include <util/fixedbv.h>
#include <util/prefix.h>
#include <util/lispirep.h>
#include <util/lispexpr.h>
#include <util/namespace.h>
#include <util/symbol.h>
#include <util/suffix.h>
#include <util/find_symbols.h>
#include <util/pointer_offset_size.h>
#include "c_misc.h"
#include "c_qualifiers.h"
#include "expr2c_class.h"
Include dependency graph for expr2c.cpp:

Go to the source code of this file.

Functions

static std::string clean_identifier (const irep_idt &id)
 
std::string expr2c (const exprt &expr, const namespacet &ns)
 
std::string type2c (const typet &type, const namespacet &ns)
 

Function Documentation

◆ clean_identifier()

static std::string clean_identifier ( const irep_idt id)
static

◆ expr2c()

◆ type2c()

std::string type2c ( const typet type,
const namespacet ns 
)