cprover
goto_program_irep.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: goto_programt -> irep conversion
4 
5 Author: CM Wintersteiger
6 
7 Date: May 2007
8 
9 \*******************************************************************/
10 
13 
14 #ifndef CPROVER_GOTO_PROGRAMS_GOTO_PROGRAM_IREP_H
15 #define CPROVER_GOTO_PROGRAMS_GOTO_PROGRAM_IREP_H
16 
18 
19 void convert(const goto_programt::instructiont &instruction, irept &irep);
20 void convert(const irept &irep, goto_programt::instructiont &instruction);
21 
22 void convert(const goto_programt &program, irept &irep);
23 void convert(const irept &irep, goto_programt &program);
24 
25 #endif // CPROVER_GOTO_PROGRAMS_GOTO_PROGRAM_IREP_H
void convert(const goto_programt::instructiont &instruction, irept &irep)
Base class for tree-like data structures with sharing.
Definition: irep.h:87
A specialization of goto_program_templatet over goto programs in which instructions have codet type...
Definition: goto_program.h:24
Concrete Goto Program.