CBMC
branch.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Branch Instrumentation
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_GOTO_INSTRUMENT_BRANCH_H
13 #define CPROVER_GOTO_INSTRUMENT_BRANCH_H
14 
15 #include <util/irep.h>
16 
17 class goto_modelt;
18 
19 void branch(
20  goto_modelt &,
21  const irep_idt &id);
22 
23 #endif // CPROVER_GOTO_INSTRUMENT_BRANCH_H
branch
void branch(goto_modelt &, const irep_idt &id)
Definition: branch.cpp:21
dstringt
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Definition: dstring.h:38
goto_modelt
Definition: goto_model.h:27