#include <graphml_witness.h>
|
template<typename T > |
static void | hash_combine (std::size_t &seed, const T &v) |
|
Definition at line 23 of file graphml_witness.h.
◆ graphml_witnesst()
graphml_witnesst::graphml_witnesst |
( |
const namespacet & | _ns | ) |
|
|
inlineexplicit |
◆ convert_assign_rec()
std::string graphml_witnesst::convert_assign_rec |
( |
const irep_idt & | identifier, |
|
|
const code_assignt & | assign ) |
|
protected |
◆ graph()
const graphmlt & graphml_witnesst::graph |
( |
| ) |
|
|
inline |
◆ hash_combine()
template<typename T >
static void graphml_witnesst::hash_combine |
( |
std::size_t & | seed, |
|
|
const T & | v ) |
|
inlinestaticprotected |
◆ operator()() [1/2]
void graphml_witnesst::operator() |
( |
const goto_tracet & | goto_trace | ) |
|
◆ operator()() [2/2]
◆ remove_l0_l1()
void graphml_witnesst::remove_l0_l1 |
( |
exprt & | expr | ) |
|
|
protected |
◆ cache
std::unordered_map< std::pair<unsigned int, const irept::dt *>, std::string, pair_hash<unsigned int, const irept::dt *> > graphml_witnesst::cache |
|
protected |
◆ graphml
◆ ns
The documentation for this class was generated from the following files: