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

operator()(const irep_idt &function_id, goto_programt::const_targett) const =0	slicing_criteriont	pure virtual
~slicing_criteriont()	slicing_criteriont	virtual