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

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

check_individualizations(ir::limited_save &root_save)dejavu::search_strategy::inprocessorinline
h_splits_hintdejavu::search_strategy::inprocessor
hashdejavu::search_strategy::inprocessor
inproc_can_individualizedejavu::search_strategy::inprocessor
inproc_fixed_pointsdejavu::search_strategy::inprocessor
inproc_maybe_individualizedejavu::search_strategy::inprocessor
inprocess(sgraph *g, ir::shared_tree &tree, groups::compressed_schreier &group, ir::controller &local_state, ir::limited_save &root_save, int, bool use_bfs_inprocess, bool use_shallow_inprocess, bool use_shallow_quadratic_inprocess, groups::orbit &orbit_partition)dejavu::search_strategy::inprocessorinline
nodesdejavu::search_strategy::inprocessor
s_grp_szdejavu::search_strategy::inprocessor
set_splits_hint(int splits_hint)dejavu::search_strategy::inprocessorinline
shallow_bfs_invariant(sgraph *g, ir::controller &local_state, worklist_t< unsigned long > &inv, groups::orbit &orbit_partition, int depth=8, bool lower_depth=true)dejavu::search_strategy::inprocessorinlinestatic
shallow_bfs_invariant2(sgraph *g, ir::controller &local_state, worklist_t< unsigned long > &inv)dejavu::search_strategy::inprocessorinlinestatic
sort_nodes_map(std::vector< unsigned long > *map, int *colmap)dejavu::search_strategy::inprocessorinline
sort_nodes_map(unsigned long *map, int *colmap)dejavu::search_strategy::inprocessorinline
split_with_invariant(sgraph *g, ir::controller &local_state, worklist_t< unsigned long > &inv)dejavu::search_strategy::inprocessorinline