|
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"
Include dependency graph for sharing_map.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.