dejavu
Fast probabilistic symmetry detection.
|
Certifies automorphisms. More...
#include <refinement.h>
Static Public Member Functions | |
static bool | certify_automorphism (markset &scratch_set, sgraph *g, const int *p) |
static bool | certify_automorphism_sparse (markset &scratch_set, const sgraph *g, const int *p, int supp, const int *supp_arr) |
Certifies automorphisms.
Contains methods to certify whether a given vertex mapping is a symmetry of a given graph.
Definition at line 24 of file refinement.h.
|
inlinestatic |
Definition at line 55 of file refinement.h.
|
inlinestatic |
Definition at line 88 of file refinement.h.