cprover
reachability_slicert Member List

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

cfgreachability_slicertprotected
cfgt typedefreachability_slicertprotected
fixedpoint_from_assertions(const is_threadedt &is_threaded, slicing_criteriont &criterion)reachability_slicertprotected
fixedpoint_to_assertions(const is_threadedt &is_threaded, slicing_criteriont &criterion)reachability_slicertprotected
get_sources(const is_threadedt &is_threaded, slicing_criteriont &criterion)reachability_slicertprivate
operator()(goto_functionst &goto_functions, slicing_criteriont &criterion, bool include_forward_reachability)reachability_slicertinline
queuet typedefreachability_slicertprotected
slice(goto_functionst &goto_functions)reachability_slicertprotected