cprover
|
Sharing map. More...
#include <functional>
#include <map>
#include <memory>
#include <stack>
#include <stdexcept>
#include <string>
#include <tuple>
#include <vector>
#include "irep.h"
#include "sharing_node.h"
#include "threeval.h"
Go to the source code of this file.
Classes | |
class | sharing_mapt< keyT, valueT, hashT, equalT > |
A map implemented as a tree where subtrees can be shared between different maps. More... | |
class | sharing_mapt< keyT, valueT, hashT, equalT >::delta_view_itemt |
struct | sharing_mapt< keyT, valueT, hashT, equalT >::sharing_map_statst |
Stats about sharing between several sharing map instances. More... | |
Macros | |
#define | SM_ASSERT(b) |
#define | SHARING_MAPT(R) |
#define | SHARING_MAPT2(CV, ST) |
#define | SHARING_MAPT3(T, CV, ST) |
Sharing map.
Definition in file sharing_map.h.
#define SHARING_MAPT | ( | R | ) |
Definition at line 39 of file sharing_map.h.
#define SHARING_MAPT2 | ( | CV, | |
ST | |||
) |
Definition at line 43 of file sharing_map.h.
#define SHARING_MAPT3 | ( | T, | |
CV, | |||
ST | |||
) |
Definition at line 48 of file sharing_map.h.
#define SM_ASSERT | ( | b | ) |
Definition at line 35 of file sharing_map.h.
Referenced by sharing_mapt< keyT, valueT, hashT, equalT >::count_unmarked_nodes(), sharing_mapt< keyT, valueT, hashT, equalT >::erase(), sharing_mapt< keyT, valueT, hashT, equalT >::find(), sharing_mapt< keyT, valueT, hashT, equalT >::get_delta_view(), sharing_mapt< keyT, valueT, hashT, equalT >::get_sharing_stats(), sharing_mapt< keyT, valueT, hashT, equalT >::get_view(), sharing_mapt< keyT, valueT, hashT, equalT >::insert(), sharing_mapt< keyT, valueT, hashT, equalT >::iterate(), and sharing_mapt< keyT, valueT, hashT, equalT >::place().