cprover
in_function_criteriont Member List

This is the complete list of members for in_function_criteriont, including all inherited members.

in_function_criteriont(const std::string &function_name)in_function_criteriontinlineexplicit
operator()(goto_programt::const_targett target) constin_function_criteriontinlinevirtual
target_functionin_function_criteriontprotected
~slicing_criteriont()slicing_criteriontvirtual