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

Public Member Functions

 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 ()
 
- Protected Member Functions inherited from simple_insertiont
void print_to_file () const
 

Additional Inherited Members

- 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 127 of file fence_shared.cpp.

Constructor & Destructor Documentation

◆ fence_all_sharedt()

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

Definition at line 133 of file fence_shared.cpp.

Member Function Documentation

◆ compute()


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