cprover
|
#include <goto_program_template.h>
Public Member Functions | |
std::size_t | operator() (const typename goto_program_templatet< codeT, guardT >::const_targett t) const |
Definition at line 788 of file goto_program_template.h.
|
inline |
Definition at line 790 of file goto_program_template.h.