This is the complete list of members for dejavu::search_strategy::bfs_ir, including all inherited members.

bfs_ir(timed_print &printer, groups::automorphism_workspace &automorphism)	dejavu::search_strategy::bfs_ir	inline
compute_node(sgraph g, dejavu_hook hook, ir::shared_tree ir_tree, ir::controller &local_state, ir::tree_node node, const int v, ir::limited_save *last_load)	dejavu::search_strategy::bfs_ir	inline
do_a_level(sgraph g, dejavu_hook hook, ir::shared_tree &ir_tree, ir::controller &local_state, std::function< ir::type_selector_hook > *selector)	dejavu::search_strategy::bfs_ir	inline
h_use_deviation_pruning	dejavu::search_strategy::bfs_ir
next_level_estimate(ir::shared_tree &ir_tree, std::function< ir::type_selector_hook > *selector)	dejavu::search_strategy::bfs_ir	inlinestatic
queue_up_level(std::function< ir::type_selector_hook > *selector, ir::shared_tree &ir_tree, int base_pos)	dejavu::search_strategy::bfs_ir	inlinestatic
s_deviation_prune	dejavu::search_strategy::bfs_ir
s_total_automorphism_prune	dejavu::search_strategy::bfs_ir
s_total_kept	dejavu::search_strategy::bfs_ir
s_total_leaves	dejavu::search_strategy::bfs_ir
s_total_prune	dejavu::search_strategy::bfs_ir
work_on_todo(sgraph g, dejavu_hook hook, ir::shared_tree *ir_tree, ir::controller &local_state)	dejavu::search_strategy::bfs_ir	inline