cprover
|
#include <locs.h>
Public Member Functions | |
loct (goto_programt::const_targett _target, const irep_idt &_function) | |
Public Attributes | |
goto_programt::const_targett | target |
irep_idt | function |
loc_reft | branch_target |
|
inline |
loc_reft loct::branch_target |
Definition at line 36 of file locs.h.
Referenced by path_symext::do_goto(), path_symext::operator()(), and locst::output().
irep_idt loct::function |
Definition at line 33 of file locs.h.
Referenced by locst::output().
goto_programt::const_targett loct::target |
Definition at line 32 of file locs.h.
Referenced by locst::output(), and target_to_loc_mapt::target_to_loc_mapt().