cprover
slicing_criteriont Member List

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

operator()(goto_programt::const_targett)=0slicing_criteriontpure virtual
~slicing_criteriont()slicing_criteriontvirtual