#include <string>#include <vector>#include "invariant.h"#include "irep_ids.h"#include "forward_list_as_map.h"
Include dependency graph for irep.h:Go to the source code of this file.
Classes | |
| struct | ref_count_ift< enabled > |
| Used in tree_nodet for activating or not reference counting. More... | |
| struct | ref_count_ift< true > |
| class | tree_nodet< treet, named_subtreest, sharing > |
| A node with data in a tree, it contains: More... | |
| class | sharing_treet< derivedt, named_subtreest > |
| Base class for tree-like data structures with sharing. More... | |
| class | non_sharing_treet< derivedt, named_subtreest > |
| Base class for tree-like data structures without sharing. More... | |
| class | irept |
| There are a large number of kinds of tree structured or tree-like data in CPROVER. More... | |
| struct | irep_hash |
| struct | irep_full_hash |
| struct | irep_full_eq |
| struct | irep_pretty_diagnosticst |
| struct | diagnostics_helpert< irep_pretty_diagnosticst > |
Macros | |
| #define | SHARING |
| #define | HASH_CODE 1 |
| #define | NAMED_SUB_IS_FORWARD_LIST 1 |
Typedefs | |
| typedef dstringt | irep_idt |
| typedef dstring_hash | irep_id_hash |
Functions | |
| const std::string & | id2string (const irep_idt &d) |
| const irept & | get_nil_irep () |
Macro Definition Documentation
◆ HASH_CODE
◆ NAMED_SUB_IS_FORWARD_LIST
◆ SHARING
Typedef Documentation
◆ irep_id_hash
| typedef dstring_hash irep_id_hash |
