cprover
sharing_map.h File Reference
#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)
 

Detailed Description

Sharing map

Definition in file sharing_map.h.

Macro Definition Documentation

◆ SHARING_MAPT

#define SHARING_MAPT (   R)
Value:
template <class keyT, class valueT, class hashT, class equalT> \

Definition at line 39 of file sharing_map.h.

◆ SHARING_MAPT2

#define SHARING_MAPT2 (   CV,
  ST 
)
Value:
template <class keyT, class valueT, class hashT, class equalT> \
sharing_mapt<keyT, valueT, hashT, equalT>

Definition at line 43 of file sharing_map.h.

◆ SHARING_MAPT3

#define SHARING_MAPT3 (   T,
  CV,
  ST 
)
Value:
template <class keyT, class valueT, class hashT, class equalT> \
template <class T> \
sharing_mapt<keyT, valueT, hashT, equalT>

Definition at line 48 of file sharing_map.h.

◆ SM_ASSERT

#define SM_ASSERT (   b)

Definition at line 35 of file sharing_map.h.

sharing_mapt
A map implemented as a tree where subtrees can be shared between different maps.
Definition: sharing_map.h:130