12 #ifndef CPROVER_GOTO_PROGRAMS_GOTO_PROGRAM_H 13 #define CPROVER_GOTO_PROGRAMS_GOTO_PROGRAM_H 31 instructionst::const_iterator it)
const;
37 const instructiont &instruction)
const;
68 #define forall_goto_program_instructions(it, program) \ 69 for(goto_programt::instructionst::const_iterator \ 70 it=(program).instructions.begin(); \ 71 it!=(program).instructions.end(); it++) 73 #define Forall_goto_program_instructions(it, program) \ 74 for(goto_programt::instructionst::iterator \ 75 it=(program).instructions.begin(); \ 76 it!=(program).instructions.end(); it++) 82 return order_const_target<codet, exprt>(i1, i2);
88 std::list<exprt>
objects_read(
const goto_programt::instructiont &);
96 const goto_programt::instructiont &);
98 #endif // CPROVER_GOTO_PROGRAMS_GOTO_PROGRAM_H goto_programt(goto_programt &&other)
std::list< exprt > objects_written(const goto_programt::instructiont &)
A generic container class for the GOTO intermediate representation of one function.
std::list< exprt > expressions_read(const goto_programt::instructiont &)
std::set< irep_idt > decl_identifierst
bool operator<(const goto_programt::const_targett i1, const goto_programt::const_targett i2)
std::list< exprt > expressions_written(const goto_programt::instructiont &)
instructionst::const_iterator const_targett
std::string as_string(const namespacet &ns, const goto_programt::instructiont &)
goto_programt & operator=(goto_programt &&other)
std::list< exprt > objects_read(const goto_programt::instructiont &)
void get_decl_identifiers(decl_identifierst &decl_identifiers) const
goto_program_templatet & operator=(const goto_program_templatet &)=delete
A specialization of goto_program_templatet over goto programs in which instructions have codet type...
Base class for all expressions.
A statement in a programming language.
goto_programt & operator=(const goto_programt &)=delete
std::ostream & output_instruction(const class namespacet &ns, const irep_idt &identifier, std::ostream &out, instructionst::const_iterator it) const
See below.