dejavu
Fast probabilistic symmetry detection.
|
This is the complete list of members for dejavu::solver, including all inherited members.
automorphisms(static_graph *g, dejavu_hook *hook=nullptr) | dejavu::solver | inline |
automorphisms(static_graph *g, dejavu_hook hook) | dejavu::solver | inline |
automorphisms(static_graph *g, hooks::hook_interface &hook) | dejavu::solver | inline |
automorphisms(sgraph *g, int *colmap=nullptr, dejavu_hook *hook=nullptr) | dejavu::solver | inline |
get_automorphism_group_size() const | dejavu::solver | inline |
get_deterministic_termination() const | dejavu::solver | inline |
get_error_bound() const | dejavu::solver | inline |
randomize_seed() | dejavu::solver | inline |
set_decompose(bool use_decompose=true) | dejavu::solver | inline |
set_disallow_alteration(bool may_alter_graph=false) | dejavu::solver | inline |
set_error_bound(int error_bound=10) | dejavu::solver | inline |
set_prefer_dfs(bool prefer_dfs=true) | dejavu::solver | inline |
set_print(bool print=true) | dejavu::solver | inline |
set_pseudo_random(bool use_pseudo_random=true) | dejavu::solver | inline |
set_seed(int seed=0) | dejavu::solver | inline |
set_strong_certification(bool use_strong_certification=true) | dejavu::solver | inline |
set_true_random(bool use_true_random=true) | dejavu::solver | inline |