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;
47 #endif // CPROVER_ANALYSES_LOCAL_CFG_H void build(const goto_programt &goto_program)
std::vector< node_nrt > successorst
local_cfgt(const goto_programt &_goto_program)
std::vector< nodet > nodest
instructionst::const_iterator const_targett
goto_programt::const_targett t
A generic container class for the GOTO intermediate representation of one function.
goto_programt & goto_program
std::map< goto_programt::const_targett, node_nrt > loc_mapt