cprover
|
GOTO-instruction to location number functor. More...
#include <cfg.h>
Public Member Functions | |
std::size_t | operator() (const goto_programt::const_targett &t) const |
std::size_t | operator() (goto_programt::const_targett &&t) const |
|
inline |
|
inline |