Fast probabilistic symmetry detection.
No Matches
dejavu::hooks::strong_certification_hook Class Reference

Certification on the original graph. More...

#include <dejavu.h>

+ Inheritance diagram for dejavu::hooks::strong_certification_hook:
+ Collaboration diagram for dejavu::hooks::strong_certification_hook:

Public Member Functions

 strong_certification_hook (static_graph &g, dejavu_hook *call_hook)
 strong_certification_hook (sgraph &g, dejavu_hook *call_hook)
 strong_certification_hook ()=default
void initialize (sgraph &g, dejavu_hook *call_hook)
dejavu_hookget_hook () override
- Public Member Functions inherited from dejavu::hooks::hook_interface
virtual dejavu_hookget_hook ()=0
virtual ~hook_interface ()=default

Detailed Description

Certification on the original graph.

Certifies all automorphisms on the original graph. By default, in dejavu, all automorphisms are certified on the remainder of the graph still left to solve. Essentially, this means that preprocessing routines that shrink the graph are not certified.

This hook saves the original graph before solving, and certifies all the returned automorphisms on the original graph before calling other hooks.

Definition at line 148 of file dejavu.h.

Constructor & Destructor Documentation

◆ strong_certification_hook() [1/3]

dejavu::hooks::strong_certification_hook::strong_certification_hook ( static_graph g,
dejavu_hook call_hook 

Definition at line 162 of file dejavu.h.

◆ strong_certification_hook() [2/3]

dejavu::hooks::strong_certification_hook::strong_certification_hook ( sgraph g,
dejavu_hook call_hook 

Definition at line 166 of file dejavu.h.

◆ strong_certification_hook() [3/3]

dejavu::hooks::strong_certification_hook::strong_certification_hook ( )

Member Function Documentation

◆ get_hook()

dejavu_hook * dejavu::hooks::strong_certification_hook::get_hook ( )

Implements dejavu::hooks::hook_interface.

Definition at line 178 of file dejavu.h.

◆ initialize()

void dejavu::hooks::strong_certification_hook::initialize ( sgraph g,
dejavu_hook call_hook 

Definition at line 172 of file dejavu.h.

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