11 #ifndef CPROVER_GOTO_PROGRAMS_GOTO_FUNCTION_H 12 #define CPROVER_GOTO_PROGRAMS_GOTO_FUNCTION_H 94 body = std::move(other.body);
95 type = std::move(other.type);
103 #endif // CPROVER_GOTO_PROGRAMS_GOTO_FUNCTION_H
void swap(goto_functiont &other)
parameter_identifierst parameter_identifiers
void copy_from(const goto_programt &src)
Copy a full goto program, preserving targets.
bool get_bool(const irep_namet &name) const
std::vector< irep_idt > parameter_identifierst
void update_instructions_function(const irep_idt &function_id)
update the function member in each instruction
goto_functiont & operator=(const goto_functiont &)=delete
void clear()
Clear the goto program.
goto_functiont(goto_functiont &&other)
instructionst instructions
The list of instructions in the goto program.
void copy_from(const goto_functiont &other)
dstringt has one field, an unsigned integer no which is an index into a static table of strings...
goto_functiont & operator=(goto_functiont &&other)
void swap(goto_programt &program)
Swap the goto program.
A generic container class for the GOTO intermediate representation of one function.
bool body_available() const
void update_instructions_function(const irep_idt &function_id)
Sets the function member of each instruction if not yet set Note that a goto program need not be a go...
void get_local_identifiers(const goto_functiont &, std::set< irep_idt > &dest)
void set(const irep_namet &name, const irep_idt &value)