12 #ifndef CPROVER_PATH_SYMEX_LOCS_H 13 #define CPROVER_PATH_SYMEX_LOCS_H 58 void output(std::ostream &out)
const;
88 return loc_vector.size();
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.
instructionst::const_iterator const_targett
std::vector< loct > loc_vectort
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)