cprover
sharing_map.h File Reference

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

Detailed Description

Sharing map.

Definition in file sharing_map.h.

Macro Definition Documentation

§ _sm_assert

§ SHARING_MAPT

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

Definition at line 33 of file sharing_map.h.

Referenced by sharing_mapt< keyT, valueT, hashT, predT >::operator[]().

§ SHARING_MAPT2

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

Definition at line 37 of file sharing_map.h.

Referenced by sharing_mapt< keyT, valueT, hashT, predT >::operator[]().