cprover
|
#include <locs.h>
Public Member Functions | |
target_to_loc_mapt (const locst &locs) | |
loc_reft | operator[] (const goto_programt::const_targett t) const |
Protected Types | |
typedef std::map< goto_programt::const_targett, loc_reft > | mapt |
Protected Attributes | |
mapt | map |
|
protected |
|
inlineexplicit |
Definition at line 98 of file locs.h.
References locst::begin(), locst::end(), and loct::target.
|
inline |