cprover
|
Classes | |
class | shared_vart |
class | thread_local_vart |
Public Member Functions | |
concurrency_instrumentationt (value_setst &_value_sets, symbol_tablet &_symbol_table) | |
void | operator() (goto_functionst &goto_functions) |
Protected Types | |
typedef std::map< irep_idt, shared_vart > | shared_varst |
typedef std::map< irep_idt, thread_local_vart > | thread_local_varst |
Protected Member Functions | |
void | instrument (goto_functionst &goto_functions) |
void | instrument (goto_programt &goto_program) |
void | instrument (exprt &expr) |
void | collect (const goto_programt &goto_program, const is_threadedt &is_threaded) |
void | collect (const exprt &expr) |
void | add_array_symbols () |
Protected Attributes | |
value_setst & | value_sets |
symbol_tablet & | symbol_table |
shared_varst | shared_vars |
thread_local_varst | thread_local_vars |
Definition at line 24 of file concurrency.cpp.
|
protected |
Definition at line 72 of file concurrency.cpp.
|
protected |
Definition at line 75 of file concurrency.cpp.
|
inline |
Definition at line 27 of file concurrency.cpp.
|
protected |
Definition at line 172 of file concurrency.cpp.
|
protected |
Definition at line 132 of file concurrency.cpp.
|
protected |
Definition at line 161 of file concurrency.cpp.
|
protected |
Definition at line 79 of file concurrency.cpp.
|
protected |
Definition at line 177 of file concurrency.cpp.
|
protected |
Definition at line 101 of file concurrency.cpp.
|
inline |
Definition at line 35 of file concurrency.cpp.
|
protected |
Definition at line 73 of file concurrency.cpp.
|
protected |
Definition at line 42 of file concurrency.cpp.
|
protected |
Definition at line 76 of file concurrency.cpp.
|
protected |
Definition at line 41 of file concurrency.cpp.