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

certify_automorphism(sgraph g, const int p)	dejavu::ir::refinement	inline
certify_automorphism_sparse(const sgraph g, const int p, int supp, const int *supp_arr)	dejavu::ir::refinement	inline
individualize_vertex(coloring *c, int v, const std::function< type_split_color_hook > &split_hook=nullptr)	dejavu::ir::refinement	inlinestatic
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::refinement	inline
refine_coloring_first(sgraph g, coloring c, int init_color_class=-1)	dejavu::ir::refinement	inline