parameter_assignments.cpp File Reference

Add parameter assignments. More...

#include "parameter_assignments.h"
#include <util/std_expr.h>
#include "goto_model.h"

Include dependency graph for parameter_assignments.cpp:

Go to the source code of this file.

Classes
class	parameter_assignmentst

Functions
void	parameter_assignments (symbol_table_baset &symbol_table, goto_functionst &goto_functions)
	removes returns More...
void	parameter_assignments (goto_modelt &goto_model)
	removes returns More...

Detailed Description

Add parameter assignments.

Definition in file parameter_assignments.cpp.

Function Documentation

parameter_assignments() [1/2]

void parameter_assignments

(

goto_modelt &

goto_model

)

removes returns

Definition at line 101 of file parameter_assignments.cpp.

parameter_assignments() [2/2]

void parameter_assignments	(	symbol_table_baset &	symbol_table,
		goto_functionst &	goto_functions
	)

removes returns

Definition at line 92 of file parameter_assignments.cpp.