cprover
|
Add parameter assignments. More...
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... | |
Add parameter assignments.
Definition in file parameter_assignments.cpp.
void parameter_assignments | ( | goto_modelt & | goto_model | ) |
removes returns
Definition at line 103 of file parameter_assignments.cpp.
void parameter_assignments | ( | symbol_tablet & | symbol_table, |
goto_functionst & | goto_functions | ||
) |
removes returns
Definition at line 94 of file parameter_assignments.cpp.