CBMC
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.