Go to the documentation of this file.
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)
goto_program_instruction_typet type
What kind of instruction?
targetst targets
The list of successor instructions.
bool is_true() const
Return whether the expression is a constant representing true.
instructionst instructions
The list of instructions in the goto program.
Deprecated expression utility functions.
exprt guard
Guard for gotos, assume, assert.
A generic container class for the GOTO intermediate representation of one function.
instructionst::const_iterator const_targett
goto_programt::const_targett t
This class represents an instruction in the GOTO intermediate representation.