dejavu
Fast probabilistic symmetry detection.
Loading...
Searching...
No Matches
dejavu::search_strategy Namespace Reference

High-level IR search strategies. More...

Classes

class  bfs_ir
 Breadth-first search. More...
 
class  dfs_ir
 Depth-first search without backtracking. More...
 
class  inprocessor
 Inprocessing for symmetry detection. More...
 
class  random_ir
 IR search using random walks. More...
 

Detailed Description

High-level IR search strategies.

Contains different high-level individualization-refinement search strategies. In particular, depth-first search, breadth-first search as well as different methods of random search.