cprover
concurrency.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Encoding for Threaded Goto Programs
4 
5 Author: Daniel Kroening
6 
7 Date: February 2006
8 
9 \*******************************************************************/
10 
13 
14 #ifndef CPROVER_GOTO_INSTRUMENT_CONCURRENCY_H
15 #define CPROVER_GOTO_INSTRUMENT_CONCURRENCY_H
16 
19 
20 void concurrency(
21  value_setst &value_sets,
22  class symbol_tablet &symbol_table,
23  goto_functionst &goto_functions);
24 
25 #endif // CPROVER_GOTO_INSTRUMENT_CONCURRENCY_H
Goto Programs with Functions.
void concurrency(value_setst &value_sets, class symbol_tablet &symbol_table, goto_functionst &goto_functions)
Value Set Propagation.
The symbol table.
Definition: symbol_table.h:52