cprover
|
This is the complete list of members for const_function_pointer_propagationt::arg_stackt, including all inherited members.
add_args(const symbol_exprt &const_function, goto_programt::instructionst::iterator it) | const_function_pointer_propagationt::arg_stackt | |
arg_stackt(const_function_pointer_propagationt &_cfpp) | const_function_pointer_propagationt::arg_stackt | inlineexplicit |
cfpp | const_function_pointer_propagationt::arg_stackt | protected |
remove_args() | const_function_pointer_propagationt::arg_stackt |