dejavu
Fast probabilistic symmetry detection.
Loading...
Searching...
No Matches
dejavu::groups::random_schreier_internal Member List

This is the complete list of members for dejavu::groups::random_schreier_internal, including all inherited members.

base_point(int pos) constdejavu::groups::random_schreier_internalinline
base_size() constdejavu::groups::random_schreier_internalinline
compute_group_size()dejavu::groups::random_schreier_internalinline
determine_potential_individualization(std::vector< std::pair< int, int > > *save_to_individualize, coloring *root_coloring)dejavu::groups::random_schreier_internalinline
deterministic_abort_criterion() constdejavu::groups::random_schreier_internalinline
finished_up_to_level() constdejavu::groups::random_schreier_internalinline
generate_random(schreier_workspace &w, automorphism_workspace &automorphism, random_source &rng)dejavu::groups::random_schreier_internalinline
get_fixed_orbit(const int base_pos)dejavu::groups::random_schreier_internalinline
get_fixed_orbit_size(const int base_pos)dejavu::groups::random_schreier_internalinline
get_stabilized_generators()dejavu::groups::random_schreier_internalinline
get_stabilizer_generators(const int base_pos)dejavu::groups::random_schreier_internalinline
h_error_bounddejavu::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_internalinline
is_finished(const int base_pos) constdejavu::groups::random_schreier_internalinline
is_in_fixed_orbit(const int base_pos, const int v)dejavu::groups::random_schreier_internalinline
load_generator(automorphism_workspace &automorphism, int generator)dejavu::groups::random_schreier_internalinline
probabilistic_abort_criterion() constdejavu::groups::random_schreier_internalinline
record_sift_result(const bool changed)dejavu::groups::random_schreier_internalinline
reduce_to_unfinished(schreier_workspace &w, std::vector< int > &selection, int base_pos)dejavu::groups::random_schreier_internalinline
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_internalinline
reset_probabilistic_criterion()dejavu::groups::random_schreier_internalinline
s_consecutive_successdejavu::groups::random_schreier_internal
s_densegen() constdejavu::groups::random_schreier_internalinline
s_grp_szdejavu::groups::random_schreier_internal
s_sparsegen() constdejavu::groups::random_schreier_internalinline
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_internalinline
sift(schreier_workspace &w, automorphism_workspace &automorphism, bool uniform=false, bool keep_at_end=false)dejavu::groups::random_schreier_internalinline
sift_generator(schreier_workspace &w, automorphism_workspace &automorphism, int generator, bool keep_at_end=false)dejavu::groups::random_schreier_internalinline
sift_random(schreier_workspace &w, automorphism_workspace &automorphism, random_source &rng, int err)dejavu::groups::random_schreier_internalinline
sift_random(schreier_workspace &w, automorphism_workspace &automorphism, random_source &rng, bool keep_at_end=false)dejavu::groups::random_schreier_internalinline