12 #ifndef CPROVER_PATH_SYMEX_LOCS_H 13 #define CPROVER_PATH_SYMEX_LOCS_H 58 void output(std::ostream &out)
const;
101 map[locs[it].target]=it;
106 mapt::const_iterator it=
map.find(t);
107 assert(it!=
map.end());
112 typedef std::map<goto_programt::const_targett, loc_reft>
mapt;
116 #endif // CPROVER_PATH_SYMEX_LOCS_H
loc_reft operator[](const goto_programt::const_targett t) const
Goto Programs with Functions.
void output(std::ostream &out) const
locst(const namespacet &_ns)
instructionst::const_iterator const_targett
std::vector< loct > loc_vectort
loct & operator[](loc_reft l)
API to expression classes.
std::map< irep_idt, function_entryt > function_mapt
loct(goto_programt::const_targett _target, const irep_idt &_function)
goto_programt::const_targett target
std::map< goto_programt::const_targett, loc_reft > mapt
function_mapt function_map
target_to_loc_mapt(const locst &locs)
void build(const goto_functionst &goto_functions)