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)