dejavu
Fast probabilistic symmetry detection.
|
The dejavu solver. More...
#include <dejavu.h>
Public Member Functions | |
void | set_error_bound (int error_bound=10) |
int | get_error_bound () const |
void | set_true_random (bool use_true_random=true) |
void | set_prefer_dfs (bool prefer_dfs=true) |
void | set_pseudo_random (bool use_pseudo_random=true) |
void | set_seed (int seed=0) |
void | set_strong_certification (bool use_strong_certification=true) |
void | set_disallow_alteration (bool may_alter_graph=false) |
void | set_decompose (bool use_decompose=true) |
void | randomize_seed () |
void | set_print (bool print=true) |
dej_nodiscard big_number | get_automorphism_group_size () const |
dej_nodiscard bool | get_deterministic_termination () const |
void | automorphisms (static_graph *g, dejavu_hook *hook=nullptr) |
void | automorphisms (static_graph *g, dejavu_hook hook) |
void | automorphisms (static_graph *g, hooks::hook_interface &hook) |
void | automorphisms (sgraph *g, int *colmap=nullptr, dejavu_hook *hook=nullptr) |
The dejavu solver.
Contains the high-level strategy of the dejavu solver, controlling the interactions between different modules of the solver.
|
inline |
|
inline |
Wrapper for automorphisms
. Compute the automorphisms of the graph g
. Automorphisms are returned using the function pointer hook
.
g | The graph. |
hook | The hook used for returning automorphisms. A null pointer is admissible if this is not needed. |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |