dejavu
Fast probabilistic symmetry detection.
Loading...
Searching...
No Matches
refinement.h File Reference
#include "ds.h"
#include "coloring.h"
#include "graph.h"
#include "utility.h"
+ Include dependency graph for refinement.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  dejavu::ir::certification
 Certifies automorphisms. More...
 
class  dejavu::ir::refinement
 Color refinement and related algorithms. More...
 

Namespaces

namespace  dejavu
 
namespace  dejavu::ir
 IR fundamentals.
 

Typedefs

typedef bool dejavu::ir::type_split_color_hook(const int, const int, const int)
 
typedef bool dejavu::ir::type_worklist_color_hook(const int, const int)