|
| void | orbiter::layer5_applications::apps_combinatorics::large_set_was_normalizer_orbits_early_test_func_callback (long int *S, int len, long int *candidates, int nb_candidates, long int *good_candidates, int &nb_good_candidates, void *data, int verbose_level) |
| |
| int | orbiter::layer5_applications::apps_combinatorics::large_set_was_design_test_orbit (long int *orbit, int orbit_length, void *extra_data) |
| |
| int | orbiter::layer5_applications::apps_combinatorics::large_set_was_classify_test_pair_of_orbits (long int *orbit1, int orbit_length1, long int *orbit2, int orbit_length2, void *extra_data) |
| |
| void | orbiter::layer5_applications::apps_combinatorics::regular_ls_classify_print_set (std::ostream &ost, int len, long int *S, void *data) |
| |
| void | orbiter::layer5_applications::apps_combinatorics::regular_ls_classify_early_test_function (long int *S, int len, long int *candidates, int nb_candidates, long int *good_candidates, int &nb_good_candidates, void *data, int verbose_level) |
| |
| int | orbiter::layer5_applications::apps_combinatorics::regular_ls_classify_check_function_incremental_callback (int len, int *S, void *data, int verbose_level) |
| |
| void | orbiter::layer5_applications::apps_combinatorics::regular_ls_classify_lifting_prepare_function_new (exact_cover *EC, int starter_case, long int *candidates, int nb_candidates, groups::strong_generators *Strong_gens, solvers::diophant *&Dio, long int *&col_labels, int &f_ruled_out, int verbose_level) |
| |