cprover
|
Goto Programs with Functions. More...
Go to the source code of this file.
Classes | |
class | goto_functionst |
A collection of goto functions. More... | |
Macros | |
#define | Forall_goto_functions(it, functions) |
#define | forall_goto_functions(it, functions) |
Goto Programs with Functions.
Definition in file goto_functions.h.
#define Forall_goto_functions | ( | it, | |
functions | |||
) |
Definition at line 117 of file goto_functions.h.
#define forall_goto_functions | ( | it, | |
functions | |||
) |
Definition at line 122 of file goto_functions.h.