Loading...
Searching...
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_hook * | get_hook () override |
| Public Member Functions inherited from dejavu::hooks::hook_interface | |
| virtual dejavu_hook * | get_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.
Constructor & Destructor Documentation
◆ strong_certification_hook() [1/3]
|
inlineexplicit |
◆ strong_certification_hook() [2/3]
|
inlineexplicit |
◆ strong_certification_hook() [3/3]
|
default |
Member Function Documentation
◆ get_hook()
|
inlineoverridevirtual |
Implements dejavu::hooks::hook_interface.
◆ initialize()
|
inline |
The documentation for this class was generated from the following file:
