cprover
|
Add parameter assignments. More...
#include <goto-programs/goto_model.h>
Go to the source code of this file.
Functions | |
void | parameter_assignments (symbol_tablet &, goto_functionst &) |
removes returns More... | |
void | parameter_assignments (goto_modelt &) |
removes returns More... | |
Add parameter assignments.
Definition in file parameter_assignments.h.
void parameter_assignments | ( | goto_modelt & | ) |
removes returns
Definition at line 103 of file parameter_assignments.cpp.
void parameter_assignments | ( | symbol_tablet & | , |
goto_functionst & | |||
) |
removes returns
Definition at line 94 of file parameter_assignments.cpp.