cprover
parameter_assignments.cpp File Reference

Add parameter assignments. More...

+ Include dependency graph for parameter_assignments.cpp:

Go to the source code of this file.

Classes

class  parameter_assignmentst
 

Functions

void parameter_assignments (symbol_tablet &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 103 of file parameter_assignments.cpp.

◆ parameter_assignments() [2/2]

void parameter_assignments ( symbol_tablet symbol_table,
goto_functionst goto_functions 
)

removes returns

Definition at line 94 of file parameter_assignments.cpp.