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

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

any_abort_criterion() constdejavu::groups::compressed_schreierinline
base_point(int pos) constdejavu::groups::compressed_schreierinline
base_size() constdejavu::groups::compressed_schreierinline
compress_automorphism(automorphism_workspace &automorphism, automorphism_workspace &automorphism_compress)dejavu::groups::compressed_schreierinline
compute_group_size()dejavu::groups::compressed_schreierinline
determine_potential_individualization(std::vector< std::pair< int, int > > *save_to_individualize, coloring *root_coloring)dejavu::groups::compressed_schreierinline
deterministic_abort_criterion() constdejavu::groups::compressed_schreierinline
finished_up_to_level() constdejavu::groups::compressed_schreierinline
get_consecutive_success() constdejavu::groups::compressed_schreierinline
get_group_size() constdejavu::groups::compressed_schreierinline
h_min_compression_ratiodejavu::groups::compressed_schreier
is_in_base_orbit(const int base_pos, const int v)dejavu::groups::compressed_schreierinline
probabilistic_abort_criterion() constdejavu::groups::compressed_schreierinline
reduce_to_unfinished(schreier_workspace &w, std::vector< int > &selection, int base_pos)dejavu::groups::compressed_schreierinline
reset(domain_compressor *new_compressor, int new_domain_size, schreier_workspace &w, std::vector< int > &new_base, std::vector< int > &new_base_sizes, const int stop, bool keep_old, std::vector< int > &global_fixed_points)dejavu::groups::compressed_schreierinline
reset_probabilistic_criterion()dejavu::groups::compressed_schreierinline
s_compression_ratiodejavu::groups::compressed_schreier
s_densegen() constdejavu::groups::compressed_schreierinline
s_sparsegen() constdejavu::groups::compressed_schreierinline
set_error_bound(int error_bound)dejavu::groups::compressed_schreierinline
sift(schreier_workspace &w, automorphism_workspace &automorphism, bool uniform=false)dejavu::groups::compressed_schreierinline
sift_random(schreier_workspace &w, automorphism_workspace &automorphism, random_source &rng)dejavu::groups::compressed_schreierinline