12 #ifndef CPROVER_GOTO_INSTRUMENT_FUNCTION_H 13 #define CPROVER_GOTO_INSTRUMENT_FUNCTION_H 30 #endif // CPROVER_GOTO_INSTRUMENT_FUNCTION_H
const irep_idt & id() const
void function_enter(goto_modelt &, const irep_idt &id)
class code_function_callt function_to_call(symbol_tablet &, const irep_idt &id, const irep_idt &argument)
codet representation of a function call statement.
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
void function_exit(goto_modelt &, const irep_idt &id)