h_almost_done(groups::compressed_schreier &group) | dejavu::search_strategy::random_ir | inlinestatic |
h_hash_col_limit | dejavu::search_strategy::random_ir | |
h_look_close | dejavu::search_strategy::random_ir | |
h_randomize_up_to | dejavu::search_strategy::random_ir | |
h_sift_random | dejavu::search_strategy::random_ir | |
h_sift_random_lim | dejavu::search_strategy::random_ir | |
random_ir(timed_print &printer, groups::schreier_workspace &schreier, groups::automorphism_workspace &automorphism, random_source &rgenerator) | dejavu::search_strategy::random_ir | inline |
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_ir | inline |
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_ir | inline |
reset_statistics() | dejavu::search_strategy::random_ir | inline |
s_leaves | dejavu::search_strategy::random_ir | |
s_min_split_number | dejavu::search_strategy::random_ir | |
s_paths | dejavu::search_strategy::random_ir | |
s_paths_fail1 | dejavu::search_strategy::random_ir | |
s_paths_failany | dejavu::search_strategy::random_ir | |
s_random_sift_success | dejavu::search_strategy::random_ir | |
s_rolling_first_level_success | dejavu::search_strategy::random_ir | |
s_rolling_success | dejavu::search_strategy::random_ir | |
s_succeed | dejavu::search_strategy::random_ir | |
s_trace_cost1 | dejavu::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_ir | inlinestatic |
use_look_close(bool look_close=false) | dejavu::search_strategy::random_ir | inline |