concurrency.cpp File Reference

Encoding for Threaded Goto Programs. More...

#include "concurrency.h"
#include <util/std_expr.h>
#include <util/find_symbols.h>
#include <util/replace_symbol.h>
#include <analyses/is_threaded.h>

Include dependency graph for concurrency.cpp:

Go to the source code of this file.

Classes
class	concurrency_instrumentationt
class	concurrency_instrumentationt::shared_vart
class	concurrency_instrumentationt::thread_local_vart

Functions
void	concurrency (value_setst &value_sets, class symbol_tablet &symbol_table, goto_functionst &goto_functions)

Detailed Description

Encoding for Threaded Goto Programs.

Definition in file concurrency.cpp.

Function Documentation

concurrency()

void concurrency	(	value_setst &	value_sets,
		class symbol_tablet &	symbol_table,
		goto_functionst &	goto_functions
	)

Definition at line 223 of file concurrency.cpp.

Referenced by goto_instrument_parse_optionst::instrument_goto_program().