46 const goto_programt::instructiont &instruction=*node.
t;
48 switch(instruction.type)
51 if(!instruction.guard.is_true())
54 for(
const auto &target : instruction.targets)
64 for(
const auto &target : instruction.targets)
void build(const goto_programt &goto_program)
instructionst instructions
The list of instructions in the goto program.
Deprecated expression utility functions.
instructionst::const_iterator const_targett
API to expression classes.
goto_programt::const_targett t
A specialization of goto_program_templatet over goto programs in which instructions have codet type...