CBMC
|
This is the complete list of members for full_slicert, including all inherited members.
add_decl_dead(const cfgt::nodet &node, queuet &queue, decl_deadt &decl_dead) | full_slicert | protected |
add_dependencies(const cfgt::nodet &node, queuet &queue, const dependence_grapht &dep_graph, const dep_node_to_cfgt &dep_node_to_cfg) | full_slicert | protected |
add_function_calls(const cfgt::nodet &node, queuet &queue, const goto_functionst &goto_functions) | full_slicert | protected |
add_jumps(queuet &queue, jumpst &jumps, const dependence_grapht::post_dominators_mapt &post_dominators) | full_slicert | protected |
add_to_queue(queuet &queue, const cfgt::entryt &entry, goto_programt::const_targett reason) | full_slicert | inlineprotected |
cfg | full_slicert | protected |
cfgt typedef | full_slicert | protected |
decl_deadt typedef | full_slicert | protected |
dep_node_to_cfgt typedef | full_slicert | protected |
fixedpoint(goto_functionst &goto_functions, queuet &queue, jumpst &jumps, decl_deadt &decl_dead, const dependence_grapht &dep_graph) | full_slicert | protected |
jumpst typedef | full_slicert | protected |
operator()(goto_functionst &goto_functions, const namespacet &ns, const slicing_criteriont &criterion, message_handlert &message_handler) | full_slicert | |
queuet typedef | full_slicert | protected |