cprover
|
Goto Programs with Functions. More...
#include <ostream>
#include <cassert>
#include <util/std_types.h>
#include <util/symbol.h>
#include <util/cprover_prefix.h>
Go to the source code of this file.
Classes | |
class | goto_function_templatet< bodyT > |
class | goto_functions_templatet< bodyT > |
Goto Programs with Functions.
Definition in file goto_functions_template.h.