cprover
|
This is the complete list of members for reachability_slicert, including all inherited members.
cfg | reachability_slicert | protected |
cfgt typedef | reachability_slicert | protected |
fixedpoint_from_assertions(const is_threadedt &is_threaded, slicing_criteriont &criterion) | reachability_slicert | protected |
fixedpoint_to_assertions(const is_threadedt &is_threaded, slicing_criteriont &criterion) | reachability_slicert | protected |
get_sources(const is_threadedt &is_threaded, slicing_criteriont &criterion) | reachability_slicert | private |
operator()(goto_functionst &goto_functions, slicing_criteriont &criterion, bool include_forward_reachability) | reachability_slicert | inline |
queuet typedef | reachability_slicert | protected |
slice(goto_functionst &goto_functions) | reachability_slicert | protected |