cprover
goto_functions_template.h File Reference

Goto Programs with Functions. More...

#include <ostream>
#include <cassert>
#include <util/std_types.h>
#include <util/symbol.h>
#include <util/cprover_prefix.h>
Include dependency graph for goto_functions_template.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  goto_function_templatet< bodyT >
 
class  goto_functions_templatet< bodyT >
 

Detailed Description

Goto Programs with Functions.

Definition in file goto_functions_template.h.