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

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

h_almost_done(groups::compressed_schreier &group)dejavu::search_strategy::random_irinlinestatic
h_hash_col_limitdejavu::search_strategy::random_ir
h_look_closedejavu::search_strategy::random_ir
h_randomize_up_todejavu::search_strategy::random_ir
h_sift_randomdejavu::search_strategy::random_ir
h_sift_random_limdejavu::search_strategy::random_ir
random_ir(timed_print &printer, groups::schreier_workspace &schreier, groups::automorphism_workspace &automorphism, random_source &rgenerator)dejavu::search_strategy::random_irinline
random_walks(sgraph *g, dejavu_hook *hook, std::function< ir::type_selector_hook > *selector, ir::shared_tree &ir_tree, groups::compressed_schreier &group, ir::controller &local_state, ir::controller &other_state, int fail_limit)dejavu::search_strategy::random_irinline
random_walks_from_tree(sgraph *g, dejavu_hook *hook, std::function< ir::type_selector_hook > *selector, ir::shared_tree &ir_tree, groups::compressed_schreier &group, ir::controller &local_state, ir::controller &other_state, int fail_limit)dejavu::search_strategy::random_irinline
reset_statistics()dejavu::search_strategy::random_irinline
s_leavesdejavu::search_strategy::random_ir
s_min_split_numberdejavu::search_strategy::random_ir
s_pathsdejavu::search_strategy::random_ir
s_paths_fail1dejavu::search_strategy::random_ir
s_paths_failanydejavu::search_strategy::random_ir
s_random_sift_successdejavu::search_strategy::random_ir
s_rolling_first_level_successdejavu::search_strategy::random_ir
s_rolling_successdejavu::search_strategy::random_ir
s_succeeddejavu::search_strategy::random_ir
s_trace_cost1dejavu::search_strategy::random_ir
specific_walk(sgraph *g, ir::shared_tree &ir_tree, ir::controller &local_state, std::vector< int > &base_vertex)dejavu::search_strategy::random_irinlinestatic
use_look_close(bool look_close=false)dejavu::search_strategy::random_irinline