12 #ifndef CPROVER_GOTO_PROGRAMS_GOTO_MODEL_H 13 #define CPROVER_GOTO_PROGRAMS_GOTO_MODEL_H 68 #endif // CPROVER_GOTO_PROGRAMS_GOTO_MODEL_H
void output(std::ostream &out)
Goto Programs with Functions.
symbol_tablet symbol_table
goto_modelt & operator=(goto_modelt &&other)
void output(const namespacet &ns, std::ostream &out) const
goto_modelt & operator=(const goto_modelt &)=delete
goto_functionst goto_functions
goto_modelt(goto_modelt &&other)