cprover
remove_asm.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Remove 'asm' statements by compiling into suitable standard
4
code
5
6
Author: Daniel Kroening
7
8
Date: December 2014
9
10
\*******************************************************************/
11
14
15
#ifndef CPROVER_GOTO_PROGRAMS_REMOVE_ASM_H
16
#define CPROVER_GOTO_PROGRAMS_REMOVE_ASM_H
17
18
#include <
goto-programs/goto_functions.h
>
19
20
class
goto_modelt
;
21
class
symbol_tablet
;
22
23
void
remove_asm
(
24
goto_functionst::goto_functiont
&goto_function,
25
symbol_tablet
&symbol_table);
26
27
void
remove_asm
(
goto_functionst
&goto_functions,
symbol_tablet
&symbol_table);
28
29
void
remove_asm
(
goto_modelt
&goto_model);
30
31
#endif // CPROVER_GOTO_PROGRAMS_REMOVE_ASM_H
goto_functions.h
Goto Programs with Functions.
remove_asm
void remove_asm(goto_functionst::goto_functiont &goto_function, symbol_tablet &symbol_table)
removes assembler
Definition:
remove_asm.cpp:306
goto_modelt
Definition:
goto_model.h:24
symbol_tablet
The symbol table.
Definition:
symbol_table.h:19
goto_functionst::goto_functiont
::goto_functiont goto_functiont
Definition:
goto_functions.h:24
goto_functionst
Definition:
goto_functions.h:21
goto-programs
remove_asm.h
Generated by
1.8.14