12#ifndef CPROVER_GOTO_PROGRAMS_GOTO_CONVERT_H
13#define CPROVER_GOTO_PROGRAMS_GOTO_CONVERT_H
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Data structure for representing an arbitrary statement in a program.
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
A generic container class for the GOTO intermediate representation of one function.
The symbol table base class interface.
void goto_convert(const codet &code, symbol_table_baset &symbol_table, goto_programt &dest, message_handlert &message_handler, const irep_idt &mode)