2 \page data-structures-from-ast-to-goto-program Data structures: from AST to GOTO program
4 \author Martin Brain, Peter Schrammel
8 See \ref goto_programt.
12 See [instructiont](\ref goto_programt::instructiont).
14 #### Types, motivation of each type #####
16 See [instructiont](\ref goto_programt::instructiont).
18 #### Accepted code (codet) values ####
22 #### Accepted guard (exprt) values ####
28 \ref goto_functionst is a map from function names to function bodies (CFGs).
34 \ref goto_modelt is a compilation unit.
40 ### Unsigned mult (unsigned a, unsigned b) { int acc, i; for (i = 0; i < b; i++) acc += a; return acc; } ###