cprover
fence_all_shared_aegt Class Reference
Inheritance diagram for fence_all_shared_aegt:
[legend]
Collaboration diagram for fence_all_shared_aegt:
[legend]

Public Member Functions

 fence_all_shared_aegt (messaget &_message, value_setst &_value_sets, const symbol_tablet &_symbol_table, const goto_functionst &_goto_functions)
 
- Public Member Functions inherited from fence_all_sharedt
 fence_all_sharedt (messaget &_message, value_setst &_value_sets, const symbol_tablet &_symbol_table, const goto_functionst &_goto_functions)
 
- Public Member Functions inherited from simple_insertiont
 simple_insertiont (messaget &_message, value_setst &_value_sets, const symbol_tablet &_symbol_table, const goto_functionst &_goto_functions)
 
virtual ~simple_insertiont ()
 
void do_it ()
 

Protected Member Functions

void compute ()
 
void fence_all_shared_aeg_explore (const goto_programt &code)
 
- Protected Member Functions inherited from simple_insertiont
void print_to_file () const
 

Protected Attributes

std::set< irep_idtvisited_functions
 
- Protected Attributes inherited from simple_insertiont
messagetmessage
 
value_setstvalue_sets
 
const symbol_tabletsymbol_table
 
const namespacet ns
 
const goto_functionstgoto_functions
 
struct {
   std::list< symbol_exprt >   writes
 
   std::list< symbol_exprt >   reads
 
fenced_edges
 

Detailed Description

Definition at line 143 of file fence_shared.cpp.

Constructor & Destructor Documentation

§ fence_all_shared_aegt()

fence_all_shared_aegt::fence_all_shared_aegt ( messaget _message,
value_setst _value_sets,
const symbol_tablet _symbol_table,
const goto_functionst _goto_functions 
)
inline

Definition at line 155 of file fence_shared.cpp.

Member Function Documentation

§ compute()

§ fence_all_shared_aeg_explore()

Member Data Documentation

§ visited_functions

std::set<irep_idt> fence_all_shared_aegt::visited_functions
protected

Definition at line 147 of file fence_shared.cpp.


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