48 switch(instruction.
type)
54 for(
const auto &target : instruction.
targets)
64 for(
const auto &target : instruction.
targets)
void build(const goto_programt &goto_program)
exprt guard
Guard for gotos, assume, assert.
goto_program_instruction_typet type
What kind of instruction?
Deprecated expression utility functions.
bool is_true() const
Return whether the expression is a constant representing true.
targetst targets
The list of successor instructions.
This class represents an instruction in the GOTO intermediate representation.
instructionst instructions
The list of instructions in the goto program.
API to expression classes.
instructionst::const_iterator const_targett
goto_programt::const_targett t
A generic container class for the GOTO intermediate representation of one function.