14 #ifndef CPROVER_GOTO_PROGRAMS_GOTO_PROGRAM_IREP_H 15 #define CPROVER_GOTO_PROGRAMS_GOTO_PROGRAM_IREP_H 19 void convert(
const goto_programt::instructiont &instruction,
irept &irep);
20 void convert(
const irept &irep, goto_programt::instructiont &instruction);
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.
A specialization of goto_program_templatet over goto programs in which instructions have codet type...