base_point(int pos) const | dejavu::groups::random_schreier_internal | inline |
base_size() const | dejavu::groups::random_schreier_internal | inline |
compute_group_size() | dejavu::groups::random_schreier_internal | inline |
determine_potential_individualization(std::vector< std::pair< int, int > > *save_to_individualize, coloring *root_coloring) | dejavu::groups::random_schreier_internal | inline |
deterministic_abort_criterion() const | dejavu::groups::random_schreier_internal | inline |
finished_up_to_level() const | dejavu::groups::random_schreier_internal | inline |
generate_random(schreier_workspace &w, automorphism_workspace &automorphism, random_source &rng) | dejavu::groups::random_schreier_internal | inline |
get_fixed_orbit(const int base_pos) | dejavu::groups::random_schreier_internal | inline |
get_fixed_orbit_size(const int base_pos) | dejavu::groups::random_schreier_internal | inline |
get_stabilized_generators() | dejavu::groups::random_schreier_internal | inline |
get_stabilizer_generators(const int base_pos) | dejavu::groups::random_schreier_internal | inline |
h_error_bound | dejavu::groups::random_schreier_internal | |
initialize(const int new_domain_size, std::vector< int > &base, std::vector< int > &base_sizes, int stop=INT32_MAX) | dejavu::groups::random_schreier_internal | inline |
is_finished(const int base_pos) const | dejavu::groups::random_schreier_internal | inline |
is_in_fixed_orbit(const int base_pos, const int v) | dejavu::groups::random_schreier_internal | inline |
load_generator(automorphism_workspace &automorphism, int generator) | dejavu::groups::random_schreier_internal | inline |
probabilistic_abort_criterion() const | dejavu::groups::random_schreier_internal | inline |
record_sift_result(const bool changed) | dejavu::groups::random_schreier_internal | inline |
reduce_to_unfinished(schreier_workspace &w, std::vector< int > &selection, int base_pos) | dejavu::groups::random_schreier_internal | inline |
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) | dejavu::groups::random_schreier_internal | inline |
reset_probabilistic_criterion() | dejavu::groups::random_schreier_internal | inline |
s_consecutive_success | dejavu::groups::random_schreier_internal | |
s_densegen() const | dejavu::groups::random_schreier_internal | inline |
s_grp_sz | dejavu::groups::random_schreier_internal | |
s_sparsegen() const | dejavu::groups::random_schreier_internal | inline |
set_base(schreier_workspace &w, automorphism_workspace &automorphism, random_source &rng, std::vector< int > &new_base, int err=10, bool resift_generators=false) | dejavu::groups::random_schreier_internal | inline |
sift(schreier_workspace &w, automorphism_workspace &automorphism, bool uniform=false, bool keep_at_end=false) | dejavu::groups::random_schreier_internal | inline |
sift_generator(schreier_workspace &w, automorphism_workspace &automorphism, int generator, bool keep_at_end=false) | dejavu::groups::random_schreier_internal | inline |
sift_random(schreier_workspace &w, automorphism_workspace &automorphism, random_source &rng, int err) | dejavu::groups::random_schreier_internal | inline |
sift_random(schreier_workspace &w, automorphism_workspace &automorphism, random_source &rng, bool keep_at_end=false) | dejavu::groups::random_schreier_internal | inline |