12 #ifndef CPROVER_ANALYSES_LOCAL_CFG_H
13 #define CPROVER_ANALYSES_LOCAL_CFG_H
33 map<goto_programt::const_targett, node_nrt, goto_programt::target_less_than>
A generic container class for the GOTO intermediate representation of one function.
instructionst::const_iterator const_targett
goto_programt::const_targett t
std::map< goto_programt::const_targett, node_nrt, goto_programt::target_less_than > loc_mapt
std::vector< nodet > nodest
std::vector< node_nrt > successorst
local_cfgt(const goto_programt &_goto_program)
void build(const goto_programt &goto_program)