12#ifndef CPROVER_ANALYSES_LOCAL_CFG_H
13#define CPROVER_ANALYSES_LOCAL_CFG_H
32 typedef std::map<goto_programt::const_targett, node_nrt>
loc_mapt;
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
A generic container class for the GOTO intermediate representation of one function.
instructionst::const_iterator const_targett
goto_programt::const_targett t
std::vector< nodet > nodest
std::map< goto_programt::const_targett, node_nrt > loc_mapt
std::vector< node_nrt > successorst
local_cfgt(const goto_programt &_goto_program)
void build(const goto_programt &goto_program)