dejavu
Fast probabilistic symmetry detection.
|
This is the complete list of members for dejavu::search_strategy::dfs_ir, including all inherited members.
dfs_ir(timed_print &printer, groups::automorphism_workspace &automorphism) | dejavu::search_strategy::dfs_ir | inlineexplicit |
do_paired_dfs(dejavu_hook *hook, sgraph *g, ir::controller &state_left, ir::controller &state_right, std::vector< std::pair< int, int > > &computed_orbits, bool prune=true) | dejavu::search_strategy::dfs_ir | inline |
do_simple_dfs(dejavu_hook *hook, sgraph *g, ir::controller &state_right, std::vector< std::pair< int, int > > &computed_orbits, bool prune=true) | dejavu::search_strategy::dfs_ir | inline |
h_recent_cost_snapshot_limit | dejavu::search_strategy::dfs_ir | |
orbs | dejavu::search_strategy::dfs_ir | |
paired_recurse_to_equal_leaf(sgraph *g, ir::controller &state_left, ir::controller &state_right, bool recurse=false) | dejavu::search_strategy::dfs_ir | inline |
r_cost enum value | dejavu::search_strategy::dfs_ir | |
r_fail enum value | dejavu::search_strategy::dfs_ir | |
r_none enum value | dejavu::search_strategy::dfs_ir | |
s_grp_sz | dejavu::search_strategy::dfs_ir | |
s_termination | dejavu::search_strategy::dfs_ir | |
termination_reason enum name | dejavu::search_strategy::dfs_ir |