dejavu
Fast probabilistic symmetry detection.
Loading...
Searching...
No Matches
dejavu::ir::refinement Member List

This is the complete list of members for dejavu::ir::refinement, including all inherited members.

certify_automorphism(sgraph *g, const int *p)dejavu::ir::refinementinline
certify_automorphism_sparse(const sgraph *g, const int *p, int supp, const int *supp_arr)dejavu::ir::refinementinline
individualize_vertex(coloring *c, int v, const std::function< type_split_color_hook > &split_hook=nullptr)dejavu::ir::refinementinlinestatic
refine_coloring(sgraph *g, coloring *c, int init_color=-1, int color_limit=-1, const std::function< type_split_color_hook > *split_hook=nullptr, const std::function< type_worklist_color_hook > *worklist_hook=nullptr)dejavu::ir::refinementinline
refine_coloring_first(sgraph *g, coloring *c, int init_color_class=-1)dejavu::ir::refinementinline