cprover
nondet_static.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Nondeterministic initialization of certain global scope
4  variables
5 
6 Author: Daniel Kroening, Michael Tautschnig
7 
8 Date: November 2011
9 
10 \*******************************************************************/
11 
14 
15 #ifndef CPROVER_GOTO_INSTRUMENT_NONDET_STATIC_H
16 #define CPROVER_GOTO_INSTRUMENT_NONDET_STATIC_H
17 
18 class goto_functionst;
19 class namespacet;
20 
21 void nondet_static(
22  const namespacet &ns,
23  goto_functionst &goto_functions);
24 
25 #endif // CPROVER_GOTO_INSTRUMENT_NONDET_STATIC_H
TO_BE_DOCUMENTED.
Definition: namespace.h:62
void nondet_static(const namespacet &ns, goto_functionst &goto_functions)