|
dej_nodiscard int | s_sparsegen () const |
|
dej_nodiscard int | s_densegen () const |
|
void | initialize (const int new_domain_size, std::vector< int > &base, std::vector< int > &base_sizes, int stop=INT32_MAX) |
|
void | set_base (schreier_workspace &w, automorphism_workspace &automorphism, random_source &rng, std::vector< int > &new_base, int err=10, bool resift_generators=false) |
|
void | sift_random (schreier_workspace &w, automorphism_workspace &automorphism, random_source &rng, int err) |
|
bool | reset (int new_domain_size, schreier_workspace &w, std::vector< int > &new_base, std::vector< int > &new_base_sizes, const int stop, bool keep_old, bool remove_generators, std::vector< int > &global_fixed_points) |
|
void | determine_potential_individualization (std::vector< std::pair< int, int > > *save_to_individualize, coloring *root_coloring) |
|
dej_nodiscard int | base_point (int pos) const |
|
dej_nodiscard int | base_size () const |
|
bool | is_in_fixed_orbit (const int base_pos, const int v) |
|
const std::vector< int > & | get_fixed_orbit (const int base_pos) |
|
const std::vector< int > & | get_stabilizer_generators (const int base_pos) |
|
const std::vector< int > & | get_stabilized_generators () |
|
dej_nodiscard int | get_fixed_orbit_size (const int base_pos) |
|
void | reduce_to_unfinished (schreier_workspace &w, std::vector< int > &selection, int base_pos) |
|
dej_nodiscard bool | is_finished (const int base_pos) const |
|
bool | sift (schreier_workspace &w, automorphism_workspace &automorphism, bool uniform=false, bool keep_at_end=false) |
|
void | generate_random (schreier_workspace &w, automorphism_workspace &automorphism, random_source &rng) |
|
void | load_generator (automorphism_workspace &automorphism, int generator) |
|
bool | sift_random (schreier_workspace &w, automorphism_workspace &automorphism, random_source &rng, bool keep_at_end=false) |
|
bool | sift_generator (schreier_workspace &w, automorphism_workspace &automorphism, int generator, bool keep_at_end=false) |
|
void | record_sift_result (const bool changed) |
|
void | reset_probabilistic_criterion () |
|
dej_nodiscard bool | probabilistic_abort_criterion () const |
|
dej_nodiscard bool | deterministic_abort_criterion () const |
|
dej_nodiscard int | finished_up_to_level () const |
|
void | compute_group_size () |
|
Schreier structure.
Enables sifting of automorphisms into a Schreier structure with given base. Intended for internal use in dejavu.
Definition at line 1224 of file groups.h.