dejavu
Fast probabilistic symmetry detection.
Loading...
Searching...
No Matches
dfs.h File Reference
#include <random>
#include <chrono>
#include "refinement.h"
#include "coloring.h"
#include "graph.h"
#include "trace.h"
#include "groups.h"
#include "ir.h"
+ Include dependency graph for dfs.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  dejavu::search_strategy::dfs_ir
 Depth-first search without backtracking. More...
 

Namespaces

namespace  dejavu
 
namespace  dejavu::search_strategy
 High-level IR search strategies.