cprover
path_symex_statet::var_statet Struct Reference

#include <path_symex_state.h>

Collaboration diagram for path_symex_statet::var_statet:
[legend]

Public Types

typedef std::set< exprtindex_sett
 

Public Member Functions

 var_statet ()
 

Public Attributes

exprt value
 
symbol_exprt ssa_symbol
 
index_sett index_set
 

Detailed Description

Definition at line 47 of file path_symex_state.h.

Member Typedef Documentation

§ index_sett

Definition at line 54 of file path_symex_state.h.

Constructor & Destructor Documentation

§ var_statet()

path_symex_statet::var_statet::var_statet ( )
inline

Definition at line 57 of file path_symex_state.h.

Member Data Documentation

§ index_set

index_sett path_symex_statet::var_statet::index_set

Definition at line 55 of file path_symex_state.h.

§ ssa_symbol

symbol_exprt path_symex_statet::var_statet::ssa_symbol

§ value

exprt path_symex_statet::var_statet::value

The documentation for this struct was generated from the following file: