cprover
Loading...
Searching...
No Matches
procedure_local_cfg_baset< T, java_bytecode_convert_methodt::method_with_amapt, java_bytecode_convert_methodt::method_offsett > Member List

This is the complete list of members for procedure_local_cfg_baset< T, java_bytecode_convert_methodt::method_with_amapt, java_bytecode_convert_methodt::method_offsett >, including all inherited members.

cfg_baset::add_edge(node_indext a, node_indext b)grapht< cfg_base_nodet< T, goto_programt::const_targett > >inline
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::add_edge(node_indext a, node_indext b)grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >inline
cfg_baset::add_node(arguments &&... values)grapht< cfg_base_nodet< T, goto_programt::const_targett > >inline
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::add_node(arguments &&... values)grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >inline
cfg_baset::add_undirected_edge(node_indext a, node_indext b)grapht< cfg_base_nodet< T, goto_programt::const_targett > >
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::add_undirected_edge(node_indext a, node_indext b)grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >
base_grapht typedefprocedure_local_cfg_baset< T, java_bytecode_convert_methodt::method_with_amapt, java_bytecode_convert_methodt::method_offsett >
cfg_baset()cfg_baset< T, P, I >inline
cfg_baset::clear()grapht< cfg_base_nodet< T, goto_programt::const_targett > >inline
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::clear()grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >inline
compute_edges(const goto_functionst &goto_functions, const goto_programt &goto_program, I PC)cfg_baset< T, P, I >protected
compute_edges(const goto_functionst &goto_functions, P &goto_program)cfg_baset< T, P, I >protected
compute_edges(const goto_functionst &goto_functions)cfg_baset< T, P, I >protected
compute_edges_catch(const goto_programt &goto_program, const goto_programt::instructiont &instruction, goto_programt::const_targett next_PC, entryt &entry)cfg_baset< T, P, I >protectedvirtual
compute_edges_function_call(const goto_functionst &goto_functions, const goto_programt &goto_program, const goto_programt::instructiont &instruction, goto_programt::const_targett next_PC, typename cfg_baset< T, java_bytecode_convert_methodt::method_with_amapt, java_bytecode_convert_methodt::method_offsett >::entryt &entry)procedure_local_cfg_baset< T, java_bytecode_convert_methodt::method_with_amapt, java_bytecode_convert_methodt::method_offsett >protectedvirtual
cfg_baset::compute_edges_function_call(const goto_functionst &goto_functions, const goto_programt &goto_program, const goto_programt::instructiont &instruction, goto_programt::const_targett next_PC, entryt &entry)cfg_baset< T, P, I >protectedvirtual
compute_edges_goto(const goto_programt &goto_program, const goto_programt::instructiont &instruction, goto_programt::const_targett next_PC, entryt &entry)cfg_baset< T, P, I >protectedvirtual
compute_edges_start_thread(const goto_programt &goto_program, const goto_programt::instructiont &instruction, goto_programt::const_targett next_PC, entryt &entry)cfg_baset< T, P, I >protectedvirtual
compute_edges_throw(const goto_programt &goto_program, const goto_programt::instructiont &instruction, goto_programt::const_targett next_PC, entryt &entry)cfg_baset< T, P, I >protectedvirtual
cfg_baset::connected_subgraphs(std::vector< node_indext > &subgraph_nr)grapht< cfg_base_nodet< T, goto_programt::const_targett > >
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::connected_subgraphs(std::vector< node_indext > &subgraph_nr)grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >
cfg_baset::depth_limited_search(typename cfg_base_nodet< T, goto_programt::const_targett >::node_indext src, std::size_t limit) constgrapht< cfg_base_nodet< T, goto_programt::const_targett > >
cfg_baset::depth_limited_search(std::vector< typename cfg_base_nodet< T, goto_programt::const_targett >::node_indext > &src, std::size_t limit) constgrapht< cfg_base_nodet< T, goto_programt::const_targett > >
cfg_baset::depth_limited_search(std::vector< typename cfg_base_nodet< T, goto_programt::const_targett >::node_indext > &src, std::size_t limit, std::vector< bool > &visited) constgrapht< cfg_base_nodet< T, goto_programt::const_targett > >protected
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::depth_limited_search(typename cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett >::node_indext src, std::size_t limit) constgrapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::depth_limited_search(std::vector< typename cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett >::node_indext > &src, std::size_t limit) constgrapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::depth_limited_search(std::vector< typename cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett >::node_indext > &src, std::size_t limit, std::vector< bool > &visited) constgrapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >protected
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::depth_limited_search(typename cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett >::node_indext src, std::size_t limit) constgrapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::depth_limited_search(std::vector< typename cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett >::node_indext > &src, std::size_t limit) constgrapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >
cfg_baset::disconnect_unreachable(node_indext src)grapht< cfg_base_nodet< T, goto_programt::const_targett > >
cfg_baset::disconnect_unreachable(const std::vector< node_indext > &src)grapht< cfg_base_nodet< T, goto_programt::const_targett > >
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::disconnect_unreachable(node_indext src)grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::disconnect_unreachable(const std::vector< node_indext > &src)grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::disconnect_unreachable(node_indext src)grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::disconnect_unreachable(const std::vector< node_indext > &src)grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >
cfg_baset::edge(node_indext a, node_indext b)grapht< cfg_base_nodet< T, goto_programt::const_targett > >inline
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::edge(node_indext a, node_indext b)grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >inline
cfg_baset::edgest typedefgrapht< cfg_base_nodet< T, goto_programt::const_targett > >
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::edgest typedefgrapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >
cfg_baset::edget typedefgrapht< cfg_base_nodet< T, goto_programt::const_targett > >
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::edget typedefgrapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >
cfg_baset::empty() constgrapht< cfg_base_nodet< T, goto_programt::const_targett > >inline
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::empty() constgrapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >inline
entries() constcfg_baset< T, P, I >inline
entry_mapprocedure_local_cfg_baset< T, java_bytecode_convert_methodt::method_with_amapt, java_bytecode_convert_methodt::method_offsett >
entry_mapt typedefprocedure_local_cfg_baset< T, java_bytecode_convert_methodt::method_with_amapt, java_bytecode_convert_methodt::method_offsett >
entryt typedefprocedure_local_cfg_baset< T, java_bytecode_convert_methodt::method_with_amapt, java_bytecode_convert_methodt::method_offsett >
cfg_baset::for_each_predecessor(const node_indext &n, std::function< void(const node_indext &)> f) constgrapht< cfg_base_nodet< T, goto_programt::const_targett > >
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::for_each_predecessor(const node_indext &n, std::function< void(const node_indext &)> f) constgrapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >
cfg_baset::for_each_successor(const node_indext &n, std::function< void(const node_indext &)> f) constgrapht< cfg_base_nodet< T, goto_programt::const_targett > >
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::for_each_successor(const node_indext &n, std::function< void(const node_indext &)> f) constgrapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >
get_first_node(const method_with_amapt &args)procedure_local_cfg_baset< T, java_bytecode_convert_methodt::method_with_amapt, java_bytecode_convert_methodt::method_offsett >inlinestatic
cfg_baset::get_first_node(P &program)cfg_baset< T, P, I >inlinestatic
get_last_node(const method_with_amapt &args)procedure_local_cfg_baset< T, java_bytecode_convert_methodt::method_with_amapt, java_bytecode_convert_methodt::method_offsett >inlinestatic
cfg_baset::get_last_node(P &program)cfg_baset< T, P, I >inlinestatic
get_node(const java_bytecode_convert_methodt::method_offsett &instruction)procedure_local_cfg_baset< T, java_bytecode_convert_methodt::method_with_amapt, java_bytecode_convert_methodt::method_offsett >inline
get_node(const java_bytecode_convert_methodt::method_offsett &instruction) constprocedure_local_cfg_baset< T, java_bytecode_convert_methodt::method_with_amapt, java_bytecode_convert_methodt::method_offsett >inline
cfg_baset::get_node(const goto_programt::const_targett &program_point)cfg_baset< T, P, I >inline
cfg_baset::get_node(const goto_programt::const_targett &program_point) constcfg_baset< T, P, I >inline
get_node_index(const java_bytecode_convert_methodt::method_offsett &instruction) constprocedure_local_cfg_baset< T, java_bytecode_convert_methodt::method_with_amapt, java_bytecode_convert_methodt::method_offsett >inline
cfg_baset::get_node_index(const goto_programt::const_targett &program_point) constcfg_baset< T, P, I >inline
cfg_baset::get_predecessors(const node_indext &n) constgrapht< cfg_base_nodet< T, goto_programt::const_targett > >
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::get_predecessors(const node_indext &n) constgrapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >
cfg_baset::get_reachable(node_indext src, bool forwards) constgrapht< cfg_base_nodet< T, goto_programt::const_targett > >
cfg_baset::get_reachable(const std::vector< node_indext > &src, bool forwards) constgrapht< cfg_base_nodet< T, goto_programt::const_targett > >
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::get_reachable(node_indext src, bool forwards) constgrapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::get_reachable(const std::vector< node_indext > &src, bool forwards) constgrapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::get_reachable(node_indext src, bool forwards) constgrapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::get_reachable(const std::vector< node_indext > &src, bool forwards) constgrapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >
cfg_baset::get_successors(const node_indext &n) constgrapht< cfg_base_nodet< T, goto_programt::const_targett > >
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::get_successors(const node_indext &n) constgrapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >
cfg_baset::has_edge(node_indext i, node_indext j) constgrapht< cfg_base_nodet< T, goto_programt::const_targett > >inline
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::has_edge(node_indext i, node_indext j) constgrapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >inline
cfg_baset::in(node_indext n) constgrapht< cfg_base_nodet< T, goto_programt::const_targett > >inline
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::in(node_indext n) constgrapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >inline
cfg_baset::is_dag() constgrapht< cfg_base_nodet< T, goto_programt::const_targett > >inline
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::is_dag() constgrapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >inline
cfg_baset::make_chordal()grapht< cfg_base_nodet< T, goto_programt::const_targett > >
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::make_chordal()grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >
method_with_amapt typedefprocedure_local_cfg_baset< T, java_bytecode_convert_methodt::method_with_amapt, java_bytecode_convert_methodt::method_offsett >
cfg_baset::node_indext typedefgrapht< cfg_base_nodet< T, goto_programt::const_targett > >
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::node_indext typedefgrapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >
cfg_baset::nodesgrapht< cfg_base_nodet< T, goto_programt::const_targett > >protected
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::nodesgrapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >protected
nodes_empty(const method_with_amapt &args)procedure_local_cfg_baset< T, java_bytecode_convert_methodt::method_with_amapt, java_bytecode_convert_methodt::method_offsett >inlinestatic
cfg_baset::nodes_empty(P &program)cfg_baset< T, P, I >inlinestatic
cfg_baset::nodest typedefgrapht< cfg_base_nodet< T, goto_programt::const_targett > >
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::nodest typedefgrapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >
nodet typedefprocedure_local_cfg_baset< T, java_bytecode_convert_methodt::method_with_amapt, java_bytecode_convert_methodt::method_offsett >
operator()(const method_with_amapt &args)procedure_local_cfg_baset< T, java_bytecode_convert_methodt::method_with_amapt, java_bytecode_convert_methodt::method_offsett >inline
cfg_baset::operator()(const goto_functionst &goto_functions)cfg_baset< T, P, I >inline
cfg_baset::operator()(P &goto_program)cfg_baset< T, P, I >inline
cfg_baset::operator[](node_indext n) constgrapht< cfg_base_nodet< T, goto_programt::const_targett > >inline
cfg_baset::operator[](node_indext n)grapht< cfg_base_nodet< T, goto_programt::const_targett > >inline
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::operator[](node_indext n) constgrapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >inline
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::operator[](node_indext n)grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >inline
cfg_baset::out(node_indext n) constgrapht< cfg_base_nodet< T, goto_programt::const_targett > >inline
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::out(node_indext n) constgrapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >inline
cfg_baset::output_dot(std::ostream &out) constgrapht< cfg_base_nodet< T, goto_programt::const_targett > >
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::output_dot(std::ostream &out) constgrapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >
cfg_baset::patht typedefgrapht< cfg_base_nodet< T, goto_programt::const_targett > >
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::patht typedefgrapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >
procedure_local_cfg_baset()procedure_local_cfg_baset< T, java_bytecode_convert_methodt::method_with_amapt, java_bytecode_convert_methodt::method_offsett >inline
cfg_baset::remove_edge(node_indext a, node_indext b)grapht< cfg_base_nodet< T, goto_programt::const_targett > >inline
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::remove_edge(node_indext a, node_indext b)grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >inline
cfg_baset::remove_edges(node_indext n)grapht< cfg_base_nodet< T, goto_programt::const_targett > >inline
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::remove_edges(node_indext n)grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >inline
cfg_baset::remove_in_edges(node_indext n)grapht< cfg_base_nodet< T, goto_programt::const_targett > >
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::remove_in_edges(node_indext n)grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >
cfg_baset::remove_out_edges(node_indext n)grapht< cfg_base_nodet< T, goto_programt::const_targett > >
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::remove_out_edges(node_indext n)grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >
cfg_baset::remove_undirected_edge(node_indext a, node_indext b)grapht< cfg_base_nodet< T, goto_programt::const_targett > >
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::remove_undirected_edge(node_indext a, node_indext b)grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >
cfg_baset::resize(node_indext s)grapht< cfg_base_nodet< T, goto_programt::const_targett > >inline
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::resize(node_indext s)grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >inline
cfg_baset::SCCs(std::vector< node_indext > &subgraph_nr) constgrapht< cfg_base_nodet< T, goto_programt::const_targett > >
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::SCCs(std::vector< node_indext > &subgraph_nr) constgrapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >
cfg_baset::shortest_loop(node_indext node, patht &path) constgrapht< cfg_base_nodet< T, goto_programt::const_targett > >inline
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::shortest_loop(node_indext node, patht &path) constgrapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >inline
cfg_baset::shortest_path(node_indext src, node_indext dest, patht &path) constgrapht< cfg_base_nodet< T, goto_programt::const_targett > >inline
cfg_baset::shortest_path(node_indext src, node_indext dest, patht &path, bool non_trivial) constgrapht< cfg_base_nodet< T, goto_programt::const_targett > >protected
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::shortest_path(node_indext src, node_indext dest, patht &path) constgrapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >inline
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::shortest_path(node_indext src, node_indext dest, patht &path, bool non_trivial) constgrapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >protected
cfg_baset::size() constgrapht< cfg_base_nodet< T, goto_programt::const_targett > >inline
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::size() constgrapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >inline
cfg_baset::swap(grapht &other)grapht< cfg_base_nodet< T, goto_programt::const_targett > >inline
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::swap(grapht &other)grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >inline
cfg_baset::tarjan(class tarjant &t, node_indext v) constgrapht< cfg_base_nodet< T, goto_programt::const_targett > >protected
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::tarjan(class tarjant &t, node_indext v) constgrapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >protected
cfg_baset::topsort() constgrapht< cfg_base_nodet< T, goto_programt::const_targett > >
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::topsort() constgrapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >
cfg_baset::visit_reachable(node_indext src)grapht< cfg_base_nodet< T, goto_programt::const_targett > >
grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >::visit_reachable(node_indext src)grapht< cfg_base_nodet< T, java_bytecode_convert_methodt::method_offsett > >
~cfg_baset()cfg_baset< T, P, I >inlinevirtual