goto_functions.h File Reference

Goto Programs with Functions. More...

#include "goto_function.h"
#include <util/cprover_prefix.h>

Include dependency graph for goto_functions.h:

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)

Detailed Description

Goto Programs with Functions.

Definition in file goto_functions.h.

Macro Definition Documentation

Forall_goto_functions

#define Forall_goto_functions	(		it,
			functions
	)

Value:

for(goto_functionst::function_mapt::iterator \
      it=(functions).function_map.begin(); \
      it!=(functions).function_map.end(); it++)

Definition at line 144 of file goto_functions.h.

forall_goto_functions

#define forall_goto_functions	(		it,
			functions
	)

Value:

for(goto_functionst::function_mapt::const_iterator \
      it=(functions).function_map.begin(); \
      it!=(functions).function_map.end(); it++)

Definition at line 149 of file goto_functions.h.