cprover
const_function_pointer_propagationt::arg_stackt Member List

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_stacktinlineexplicit
cfppconst_function_pointer_propagationt::arg_stacktprotected
remove_args()const_function_pointer_propagationt::arg_stackt