dejavu
Fast probabilistic symmetry detection.
Loading...
Searching...
No Matches
dejavu::search_strategy::bfs_ir Member List

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_irinline
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_irinline
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_irinline
h_use_deviation_pruningdejavu::search_strategy::bfs_ir
next_level_estimate(ir::shared_tree &ir_tree, std::function< ir::type_selector_hook > *selector)dejavu::search_strategy::bfs_irinlinestatic
queue_up_level(std::function< ir::type_selector_hook > *selector, ir::shared_tree &ir_tree, int base_pos)dejavu::search_strategy::bfs_irinlinestatic
s_deviation_prunedejavu::search_strategy::bfs_ir
s_total_automorphism_prunedejavu::search_strategy::bfs_ir
s_total_keptdejavu::search_strategy::bfs_ir
s_total_leavesdejavu::search_strategy::bfs_ir
s_total_prunedejavu::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_irinline