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 |
goto_programt::const_targett loct::target |