Fast probabilistic symmetry detection.
No Matches
dejavu::ir::certification Class Reference

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)

Detailed Description

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.

Member Function Documentation

◆ certify_automorphism()

static bool dejavu::ir::certification::certify_automorphism ( markset scratch_set,
sgraph g,
const int *  p 

Definition at line 55 of file refinement.h.

◆ certify_automorphism_sparse()

static bool dejavu::ir::certification::certify_automorphism_sparse ( markset scratch_set,
const sgraph g,
const int *  p,
int  supp,
const int *  supp_arr 

Definition at line 88 of file refinement.h.

The documentation for this class was generated from the following file: