cprover
|
#include "type2name.h"
#include <util/arith_tools.h>
#include <util/invariant.h>
#include <util/namespace.h>
#include <util/pointer_offset_size.h>
#include <util/std_expr.h>
#include <util/std_types.h>
#include <util/symbol_table.h>
Go to the source code of this file.
Typedefs | |
typedef std::unordered_map< irep_idt, std::pair< size_t, bool > > | symbol_numbert |
Functions | |
static std::string | type2name (const typet &type, const namespacet &ns, symbol_numbert &symbol_number) |
static std::string | type2name_tag (const tag_typet &type, const namespacet &ns, symbol_numbert &symbol_number) |
static std::string | pointer_offset_bits_as_string (const typet &type, const namespacet &ns) |
std::string | type2name (const typet &type, const namespacet &ns) |
Type Naming for C
Definition in file type2name.cpp.
typedef std::unordered_map<irep_idt, std::pair<size_t, bool> > symbol_numbert |
Definition at line 22 of file type2name.cpp.
|
static |
Definition at line 70 of file type2name.cpp.
std::string type2name | ( | const typet & | type, |
const namespacet & | ns | ||
) |
Definition at line 270 of file type2name.cpp.
|
static |
Definition at line 79 of file type2name.cpp.
|
static |
Definition at line 29 of file type2name.cpp.