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.