cprover
var_mapt Class Reference

#include <var_map.h>

Collaboration diagram for var_mapt:
[legend]

Classes

struct  var_infot
 

Public Types

typedef std::map< irep_idt, var_infotid_mapt
 

Public Member Functions

 var_mapt (const namespacet &_ns)
 
var_infotoperator() (const irep_idt &symbol, const irep_idt &suffix, const typet &type)
 
var_infotoperator[] (const irep_idt &full_identifier)
 
void clear ()
 
void init (var_infot &var_info)
 
void output (std::ostream &) const
 

Public Attributes

id_mapt id_map
 
const namespacet ns
 
symbol_tablet new_symbols
 
unsigned nondet_count
 
unsigned dynamic_count
 

Protected Attributes

unsigned shared_count
 
unsigned local_count
 

Detailed Description

Definition at line 23 of file var_map.h.

Member Typedef Documentation

◆ id_mapt

typedef std::map<irep_idt, var_infot> var_mapt::id_mapt

Definition at line 77 of file var_map.h.

Constructor & Destructor Documentation

◆ var_mapt()

var_mapt::var_mapt ( const namespacet _ns)
inlineexplicit

Definition at line 26 of file var_map.h.

Member Function Documentation

◆ clear()

void var_mapt::clear ( void  )
inline

Definition at line 90 of file var_map.h.

References dynamic_count, id_map, local_count, nondet_count, and shared_count.

◆ init()

◆ operator()()

var_mapt::var_infot & var_mapt::operator() ( const irep_idt symbol,
const irep_idt suffix,
const typet type 
)

Definition at line 20 of file var_map.cpp.

References dstringt::empty(), id2string(), id_map, and init().

◆ operator[]()

var_infot& var_mapt::operator[] ( const irep_idt full_identifier)
inline

Definition at line 85 of file var_map.h.

References id_map.

◆ output()

void var_mapt::output ( std::ostream &  out) const

Definition at line 117 of file var_map.cpp.

References id_map.

Member Data Documentation

◆ dynamic_count

unsigned var_mapt::dynamic_count

Definition at line 111 of file var_map.h.

Referenced by clear(), and path_symext::symex_malloc().

◆ id_map

id_mapt var_mapt::id_map

Definition at line 78 of file var_map.h.

Referenced by clear(), operator()(), operator[](), and output().

◆ local_count

unsigned var_mapt::local_count
protected

Definition at line 107 of file var_map.h.

Referenced by clear(), and init().

◆ new_symbols

symbol_tablet var_mapt::new_symbols

Definition at line 102 of file var_map.h.

Referenced by path_symex_statet::instantiate_rec().

◆ nondet_count

unsigned var_mapt::nondet_count

Definition at line 110 of file var_map.h.

Referenced by clear(), and path_symex_statet::instantiate_rec().

◆ ns

◆ shared_count

unsigned var_mapt::shared_count
protected

Definition at line 107 of file var_map.h.

Referenced by clear(), and init().


The documentation for this class was generated from the following files: