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

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_irinlineexplicit
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_irinline
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_irinline
h_recent_cost_snapshot_limitdejavu::search_strategy::dfs_ir
orbsdejavu::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_irinline
r_cost enum valuedejavu::search_strategy::dfs_ir
r_fail enum valuedejavu::search_strategy::dfs_ir
r_none enum valuedejavu::search_strategy::dfs_ir
s_grp_szdejavu::search_strategy::dfs_ir
s_terminationdejavu::search_strategy::dfs_ir
termination_reason enum namedejavu::search_strategy::dfs_ir