CBMC
full_slicert Member List

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_slicertprotected
add_dependencies(const cfgt::nodet &node, queuet &queue, const dependence_grapht &dep_graph, const dep_node_to_cfgt &dep_node_to_cfg)full_slicertprotected
add_function_calls(const cfgt::nodet &node, queuet &queue, const goto_functionst &goto_functions)full_slicertprotected
add_jumps(queuet &queue, jumpst &jumps, const dependence_grapht::post_dominators_mapt &post_dominators)full_slicertprotected
add_to_queue(queuet &queue, const cfgt::entryt &entry, goto_programt::const_targett reason)full_slicertinlineprotected
cfgfull_slicertprotected
cfgt typedeffull_slicertprotected
decl_deadt typedeffull_slicertprotected
dep_node_to_cfgt typedeffull_slicertprotected
fixedpoint(goto_functionst &goto_functions, queuet &queue, jumpst &jumps, decl_deadt &decl_dead, const dependence_grapht &dep_graph)full_slicertprotected
jumpst typedeffull_slicertprotected
operator()(goto_functionst &goto_functions, const namespacet &ns, const slicing_criteriont &criterion, message_handlert &message_handler)full_slicert
queuet typedeffull_slicertprotected