|
cprover
|
Sharing map. More...
#include <string>#include <stack>#include <vector>#include <map>#include <stdexcept>#include <functional>#include <memory>#include <iosfwd>#include <cassert>#include <util/string2int.h>#include <util/threeval.h>#include <util/irep.h>#include <util/sharing_node.h>Go to the source code of this file.
Classes | |
| class | sharing_mapt< keyT, valueT, hashT, predT > |
| class | sharing_mapt< keyT, valueT, hashT, predT >::delta_view_itemt |
Macros | |
| #define | _sm_assert(b) assert(b) |
| #define | SHARING_MAPT(R) |
| #define | SHARING_MAPT2(CV, ST) |
Sharing map.
Definition in file sharing_map.h.
| #define _sm_assert | ( | b | ) | assert(b) |
Definition at line 30 of file sharing_map.h.
Referenced by sharing_mapt< keyT, valueT, hashT, predT >::erase(), sharing_mapt< keyT, valueT, hashT, predT >::find(), and sharing_mapt< keyT, valueT, hashT, predT >::place().
| #define SHARING_MAPT | ( | R | ) |
Definition at line 33 of file sharing_map.h.
| #define SHARING_MAPT2 | ( | CV, | |
| ST | |||
| ) |
Definition at line 37 of file sharing_map.h.