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.