12 #ifndef CPROVER_GOTO_PROGRAMS_GOTO_MODEL_H 13 #define CPROVER_GOTO_PROGRAMS_GOTO_MODEL_H 31 goto_functions.
clear();
37 goto_functions.
output(ns, out);
55 symbol_table(
std::move(other.symbol_table)),
56 goto_functions(
std::move(other.goto_functions))
62 symbol_table=std::move(other.symbol_table);
63 goto_functions=std::move(other.goto_functions);
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)