any_abort_criterion() const | dejavu::groups::compressed_schreier | inline |
base_point(int pos) const | dejavu::groups::compressed_schreier | inline |
base_size() const | dejavu::groups::compressed_schreier | inline |
compress_automorphism(automorphism_workspace &automorphism, automorphism_workspace &automorphism_compress) | dejavu::groups::compressed_schreier | inline |
compute_group_size() | dejavu::groups::compressed_schreier | inline |
determine_potential_individualization(std::vector< std::pair< int, int > > *save_to_individualize, coloring *root_coloring) | dejavu::groups::compressed_schreier | inline |
deterministic_abort_criterion() const | dejavu::groups::compressed_schreier | inline |
finished_up_to_level() const | dejavu::groups::compressed_schreier | inline |
get_consecutive_success() const | dejavu::groups::compressed_schreier | inline |
get_group_size() const | dejavu::groups::compressed_schreier | inline |
h_min_compression_ratio | dejavu::groups::compressed_schreier | |
is_in_base_orbit(const int base_pos, const int v) | dejavu::groups::compressed_schreier | inline |
probabilistic_abort_criterion() const | dejavu::groups::compressed_schreier | inline |
reduce_to_unfinished(schreier_workspace &w, std::vector< int > &selection, int base_pos) | dejavu::groups::compressed_schreier | inline |
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_schreier | inline |
reset_probabilistic_criterion() | dejavu::groups::compressed_schreier | inline |
s_compression_ratio | dejavu::groups::compressed_schreier | |
s_densegen() const | dejavu::groups::compressed_schreier | inline |
s_sparsegen() const | dejavu::groups::compressed_schreier | inline |
set_error_bound(int error_bound) | dejavu::groups::compressed_schreier | inline |
sift(schreier_workspace &w, automorphism_workspace &automorphism, bool uniform=false) | dejavu::groups::compressed_schreier | inline |
sift_random(schreier_workspace &w, automorphism_workspace &automorphism, random_source &rng) | dejavu::groups::compressed_schreier | inline |