Orbiter 2022
Combinatorial Objects
orbiter::layer4_classification::isomorph Member List

This is the complete list of members for orbiter::layer4_classification::isomorph, including all inherited members.

Aorbiter::layer4_classification::isomorph
A_baseorbiter::layer4_classification::isomorph
AAorbiter::layer4_classification::isomorph
AA_on_k_subsetsorbiter::layer4_classification::isomorph
AA_permorbiter::layer4_classification::isomorph
add_solution_to_database(long int *data, int nb, int id, int no, int nb_solutions, int h, uint_4 &datref, int print_mod, int verbose_level)orbiter::layer4_classification::isomorph
add_solutions_to_database(int *Solutions, int the_case, int nb_solutions, int nb_solutions_total, int print_mod, int &no, int verbose_level)orbiter::layer4_classification::isomorph
allocate_tmp_data()orbiter::layer4_classification::isomorph
apply_fusion_Elt1orbiter::layer4_classification::isomorph
apply_fusion_tmp_set1orbiter::layer4_classification::isomorph
apply_isomorphism_database(int cur_level, int cur_node_global, int current_extension, long int *canonical_set, int *Elt_transporter, int ref, int verbose_level)orbiter::layer4_classification::isomorph
apply_isomorphism_oracle(int cur_level, int cur_node_global, int current_extension, long int *canonical_set, int *Elt_transporter, int verbose_level)orbiter::layer4_classification::isomorph
build_up_database(int nb_files, std::string *fname, int f_has_final_test_function, int(*final_test_function)(long int *data, int sz, void *final_test_data, int verbose_level), void *final_test_data, int verbose_level)orbiter::layer4_classification::isomorph
canonical_setorbiter::layer4_classification::isomorph
close_level_database(int verbose_level)orbiter::layer4_classification::isomorph
close_solution_database(int verbose_level)orbiter::layer4_classification::isomorph
cnt_minimalorbiter::layer4_classification::isomorph
compute_Ago_Ago_induced(ring_theory::longinteger_object *&Ago, ring_theory::longinteger_object *&Ago_induced, int verbose_level)orbiter::layer4_classification::isomorph
compute_down_link(int *&down_link, int verbose_level)orbiter::layer4_classification::isomorph
compute_nb_starter(int level, int verbose_level)orbiter::layer4_classification::isomorph
compute_stabilizer(groups::sims *&Stab, int verbose_level)orbiter::layer4_classification::isomorph
count_solutions(int nb_files, std::string *fname, int f_get_statistics, int f_has_final_test_function, int(*final_test_function)(long int *data, int sz, void *final_test_data, int verbose_level), void *final_test_data, int verbose_level)orbiter::layer4_classification::isomorph
count_solutions2(int nb_files, std::string *fname, int &total_days, int &total_hours, int &total_minutes, int f_has_final_test_function, int(*final_test_function)(long int *data, int sz, void *final_test_data, int verbose_level), void *final_test_data, int verbose_level)orbiter::layer4_classification::isomorph
count_solutions_from_clique_finder(int nb_files, std::string *fname, int verbose_level)orbiter::layer4_classification::isomorph
count_solutions_from_clique_finder_case_by_case(int nb_files, long int *list_of_cases, std::string *fname, int verbose_level)orbiter::layer4_classification::isomorph
create_level_database(int level, int verbose_level)orbiter::layer4_classification::isomorph
D1orbiter::layer4_classification::isomorph
D2orbiter::layer4_classification::isomorph
DB_levelorbiter::layer4_classification::isomorph
DB_solorbiter::layer4_classification::isomorph
decomposition_matrix(int verbose_level)orbiter::layer4_classification::isomorph
depth_completedorbiter::layer4_classification::isomorph
do_iso_test(int t0, groups::sims *&Stab, int f_play_back, std::ifstream *play_back_file, int &f_eof, int print_mod, int f_implicit_fusion, int verbose_level)orbiter::layer4_classification::isomorph
Elt1orbiter::layer4_classification::isomorph
Elt_transporterorbiter::layer4_classification::isomorph
evaluate_statistics(int verbose_level)orbiter::layer4_classification::isomorph
event_file_completed_cases(const char *event_file_name, int &nb_completed_cases, int *completed_cases, int verbose_level)orbiter::layer4_classification::isomorph
event_file_read_case(const char *event_file_name, int case_no, int verbose_level)orbiter::layer4_classification::isomorph
event_file_read_case1(std::ifstream &f, int case_no, int verbose_level)orbiter::layer4_classification::isomorph
event_out_fnameorbiter::layer4_classification::isomorph
f_tmp_data_has_been_allocatedorbiter::layer4_classification::isomorph
f_use_database_for_starterorbiter::layer4_classification::isomorph
f_use_implicit_fusionorbiter::layer4_classification::isomorph
f_use_table_of_solutionsorbiter::layer4_classification::isomorph
find_extension_easy(long int *set, int case_nb, int &idx, int verbose_level)orbiter::layer4_classification::isomorph
find_extension_easy_new(long int *set, int case_nb, int &idx, int verbose_level)orbiter::layer4_classification::isomorph
find_extension_easy_old(long int *set, int case_nb, int &idx, int verbose_level)orbiter::layer4_classification::isomorph
find_extension_search_interval(long int *set, int first, int len, int &idx, int f_btree_idx, int btree_idx, int f_through_hash, int verbose_level)orbiter::layer4_classification::isomorph
find_extension_set1orbiter::layer4_classification::isomorph
flag_orbit_fstorbiter::layer4_classification::isomorph
flag_orbit_lenorbiter::layer4_classification::isomorph
fname_case_lenorbiter::layer4_classification::isomorph
fname_db1orbiter::layer4_classification::isomorph
fname_db2orbiter::layer4_classification::isomorph
fname_db3orbiter::layer4_classification::isomorph
fname_db4orbiter::layer4_classification::isomorph
fname_db5orbiter::layer4_classification::isomorph
fname_db_levelorbiter::layer4_classification::isomorph
fname_db_level_georbiter::layer4_classification::isomorph
fname_db_level_idx1orbiter::layer4_classification::isomorph
fname_db_level_idx2orbiter::layer4_classification::isomorph
fname_ge1orbiter::layer4_classification::isomorph
fname_ge2orbiter::layer4_classification::isomorph
fname_hash_and_datreforbiter::layer4_classification::isomorph
fname_orbits_of_stabilizer_csvorbiter::layer4_classification::isomorph
fname_staborbitsorbiter::layer4_classification::isomorph
fname_statisticsorbiter::layer4_classification::isomorph
fp_event_outorbiter::layer4_classification::isomorph
fp_georbiter::layer4_classification::isomorph
fp_ge1orbiter::layer4_classification::isomorph
fp_ge2orbiter::layer4_classification::isomorph
free()orbiter::layer4_classification::isomorph
free_tmp_data()orbiter::layer4_classification::isomorph
genorbiter::layer4_classification::isomorph
gens_permorbiter::layer4_classification::isomorph
get_orbit_transversal(data_structures_groups::orbit_transversal *&T, int verbose_level)orbiter::layer4_classification::isomorph
get_statistics(int nb_files, std::string *fname, int verbose_level)orbiter::layer4_classification::isomorph
handle_automorphism(long int *set, groups::sims *Stab, int *Elt, int verbose_level)orbiter::layer4_classification::isomorph
handle_automorphism_Elt1orbiter::layer4_classification::isomorph
handle_event_files(int nb_event_files, const char **event_file_name, int verbose_level)orbiter::layer4_classification::isomorph
handle_extension(int cur_level, int cur_node_global, long int *canonical_set, int *Elt_transporter, int f_implicit_fusion, int &f_failure_to_find_point, int verbose_level)orbiter::layer4_classification::isomorph
handle_extension_database(int cur_level, int cur_node_global, long int *canonical_set, int *Elt_transporter, int f_implicit_fusion, int &f_failure_to_find_point, int verbose_level)orbiter::layer4_classification::isomorph
handle_extension_oracle(int cur_level, int cur_node_global, long int *canonical_set, int *Elt_transporter, int f_implicit_fusion, int &f_failure_to_find_point, int verbose_level)orbiter::layer4_classification::isomorph
hash_vs_id_hashorbiter::layer4_classification::isomorph
hash_vs_id_idorbiter::layer4_classification::isomorph
id_to_datreforbiter::layer4_classification::isomorph
id_to_hashorbiter::layer4_classification::isomorph
identify(long int *set, int f_implicit_fusion, int verbose_level)orbiter::layer4_classification::isomorph
identify_database_is_open(long int *set, int f_implicit_fusion, int verbose_level)orbiter::layer4_classification::isomorph
identify_solution(long int *set, int *transporter, int f_implicit_fusion, int &f_failure_to_find_point, int verbose_level)orbiter::layer4_classification::isomorph
identify_solution_relaxed(long int *set, int *transporter, int f_implicit_fusion, int &orbit_no, int &f_failure_to_find_point, int verbose_level)orbiter::layer4_classification::isomorph
induced_action_on_set(groups::sims *S, long int *set, int verbose_level)orbiter::layer4_classification::isomorph
induced_action_on_set_and_kernel(std::ostream &file, actions::action *A, groups::sims *Stab, int size, long int *set, int verbose_level)orbiter::layer4_classification::isomorph
induced_action_on_set_basic(groups::sims *S, long int *set, int verbose_level)orbiter::layer4_classification::isomorph
init(std::string &prefix, actions::action *A_base, actions::action *A, poset_classification::poset_classification *gen, int size, int level, int f_use_database_for_starter, int f_implicit_fusion, int verbose_level)orbiter::layer4_classification::isomorph
init_cases_from_file_mixed_modulus_and_build_up_database(int nb_Mod, int *Mod_r, int *Mod_split, int *Mod_base_split, int level, int f_get_statistics, int f_has_final_test_function, int(*final_test_function)(long int *data, int sz, void *final_test_data, int verbose_level), void *final_test_data, int verbose_level)orbiter::layer4_classification::isomorph
init_cases_from_file_modulus_and_build_up_database(int modulus, int level, int f_collated, int base_split, int f_get_statistics, int f_has_final_test_function, int(*final_test_function)(long int *data, int sz, void *final_test_data, int verbose_level), void *final_test_data, int verbose_level)orbiter::layer4_classification::isomorph
init_DB_level(layer2_discreta::database &D, int level, int verbose_level)orbiter::layer4_classification::isomorph
init_DB_sol(int verbose_level)orbiter::layer4_classification::isomorph
init_high_level(actions::action *A, poset_classification::poset_classification *gen, int size, std::string &prefix_classify, std::string &prefix, int level, int verbose_level)orbiter::layer4_classification::isomorph
init_solution(int verbose_level)orbiter::layer4_classification::isomorph
init_solutions(int **Solutions, int *Nb_sol, int verbose_level)orbiter::layer4_classification::isomorph
init_starter_number(int verbose_level)orbiter::layer4_classification::isomorph
is_minimal(int verbose_level)orbiter::layer4_classification::isomorph
iso_nodesorbiter::layer4_classification::isomorph
iso_test_init(int verbose_level)orbiter::layer4_classification::isomorph
iso_test_init2(int verbose_level)orbiter::layer4_classification::isomorph
isomorph()orbiter::layer4_classification::isomorph
isomorph_testing(int t0, int f_play_back, std::string &play_back_file_name, int f_implicit_fusion, int print_mod, int verbose_level)orbiter::layer4_classification::isomorph
levelorbiter::layer4_classification::isomorph
list_solutions_by_orbit()orbiter::layer4_classification::isomorph
list_solutions_by_starter()orbiter::layer4_classification::isomorph
load_solution(int id, long int *data)orbiter::layer4_classification::isomorph
load_solution_by_btree(int btree_idx, int idx, int &id, long int *data)orbiter::layer4_classification::isomorph
load_strong_generators(int cur_level, int cur_node_local, data_structures_groups::vector_ge &gens, ring_theory::longinteger_object &go, int verbose_level)orbiter::layer4_classification::isomorph
load_strong_generators_database(int cur_level, int cur_node_local, data_structures_groups::vector_ge &gens, ring_theory::longinteger_object &go, int verbose_level)orbiter::layer4_classification::isomorph
load_strong_generators_oracle(int cur_level, int cur_node_local, data_structures_groups::vector_ge &gens, ring_theory::longinteger_object &go, int verbose_level)orbiter::layer4_classification::isomorph
load_table_of_solutions(int verbose_level)orbiter::layer4_classification::isomorph
make_set_smaller(int case_nb_local, long int *set, int *transporter, int verbose_level)orbiter::layer4_classification::isomorph
make_set_smaller_Elt1orbiter::layer4_classification::isomorph
make_set_smaller_Elt2orbiter::layer4_classification::isomorph
make_set_smaller_setorbiter::layer4_classification::isomorph
Norbiter::layer4_classification::isomorph
nb_fusedorbiter::layer4_classification::isomorph
nb_is_minimalorbiter::layer4_classification::isomorph
nb_is_minimal_calledorbiter::layer4_classification::isomorph
nb_openorbiter::layer4_classification::isomorph
nb_orbitsorbiter::layer4_classification::isomorph
nb_repsorbiter::layer4_classification::isomorph
nb_sets_reachedorbiter::layer4_classification::isomorph
nb_starterorbiter::layer4_classification::isomorph
nb_times_make_set_smaller_calledorbiter::layer4_classification::isomorph
NCKorbiter::layer4_classification::isomorph
next_subset(int t0, int &f_continue, groups::sims *Stab, long int *data, int f_play_back, std::ifstream *play_back_file, int &f_eof, int verbose_level)orbiter::layer4_classification::isomorph
next_subset_play_back(int &subset_rank, std::ifstream *play_back_file, int &f_eof, int verbose_level)orbiter::layer4_classification::isomorph
null()orbiter::layer4_classification::isomorph
null_tmp_data()orbiter::layer4_classification::isomorph
open_database_and_identify_object(long int *set, int *transporter, int f_implicit_fusion, int verbose_level)orbiter::layer4_classification::isomorph
orbit_fstorbiter::layer4_classification::isomorph
orbit_lenorbiter::layer4_classification::isomorph
orbit_noorbiter::layer4_classification::isomorph
orbit_numberorbiter::layer4_classification::isomorph
orbit_permorbiter::layer4_classification::isomorph
orbit_perm_invorbiter::layer4_classification::isomorph
orbit_representative(int i, int &i0, int &orbit, int *transporter, int verbose_level)orbiter::layer4_classification::isomorph
orbit_representative_Elt1orbiter::layer4_classification::isomorph
orbit_representative_Elt2orbiter::layer4_classification::isomorph
orbits_of_stabilizer(int verbose_level)orbiter::layer4_classification::isomorph
orbits_of_stabilizer_case(int the_case, data_structures_groups::vector_ge &gens, int verbose_level)orbiter::layer4_classification::isomorph
prefixorbiter::layer4_classification::isomorph
prefix_invariantsorbiter::layer4_classification::isomorph
prefix_texorbiter::layer4_classification::isomorph
prepare_database_access(int cur_level, int verbose_level)orbiter::layer4_classification::isomorph
print_hash_vs_id()orbiter::layer4_classification::isomorph
print_isomorphism_types(int f_select, int select_first, int select_len, int verbose_level)orbiter::layer4_classification::isomorph
print_node_global(int level, int node_global)orbiter::layer4_classification::isomorph
print_node_local(int level, int node_local)orbiter::layer4_classification::isomorph
print_set_dataorbiter::layer4_classification::isomorph
print_set_functionorbiter::layer4_classification::isomorph
print_statistics_iso_test(int t0, groups::sims *Stab)orbiter::layer4_classification::isomorph
probe(int flag_orbit, int subset_rk, int f_implicit_fusion, int verbose_level)orbiter::layer4_classification::isomorph
process_rearranged_set(groups::sims *Stab, long int *data, int f_implicit_fusion, int verbose_level)orbiter::layer4_classification::isomorph
read_data_files_for_starter(int level, std::string &prefix, int verbose_level)orbiter::layer4_classification::isomorph
read_event_file(const char *event_file_name, int verbose_level)orbiter::layer4_classification::isomorph
read_everything_including_classification(std::string &prefix_classify, int verbose_level)orbiter::layer4_classification::isomorph
read_hash_and_datref_file(int verbose_level)orbiter::layer4_classification::isomorph
read_orbit_data(int verbose_level)orbiter::layer4_classification::isomorph
read_solution_first_and_len()orbiter::layer4_classification::isomorph
read_solutions_from_clique_finder(int nb_files, std::string *fname, int verbose_level)orbiter::layer4_classification::isomorph
read_solutions_from_clique_finder_case_by_case(int nb_files, long int *list_of_cases, std::string *fname, int verbose_level)orbiter::layer4_classification::isomorph
read_starter_nb_orbits(int verbose_level)orbiter::layer4_classification::isomorph
rearranged_setorbiter::layer4_classification::isomorph
rearranged_set_saveorbiter::layer4_classification::isomorph
Repsorbiter::layer4_classification::isomorph
schreier_prevorbiter::layer4_classification::isomorph
schreier_vectororbiter::layer4_classification::isomorph
setup_and_create_solution_database(int verbose_level)orbiter::layer4_classification::isomorph
setup_and_open_level_database(int verbose_level)orbiter::layer4_classification::isomorph
setup_and_open_solution_database(int verbose_level)orbiter::layer4_classification::isomorph
sizeorbiter::layer4_classification::isomorph
skip_through_event_file(std::ifstream &f, int verbose_level)orbiter::layer4_classification::isomorph
skip_through_event_file1(std::ifstream &f, int case_no, int orbit_no, int verbose_level)orbiter::layer4_classification::isomorph
solution_firstorbiter::layer4_classification::isomorph
solution_lenorbiter::layer4_classification::isomorph
stabilizer_action_add_generator(int *Elt, int verbose_level)orbiter::layer4_classification::isomorph
stabilizer_action_exit()orbiter::layer4_classification::isomorph
stabilizer_action_init(int verbose_level)orbiter::layer4_classification::isomorph
stabilizer_generatorsorbiter::layer4_classification::isomorph
stabilizer_group_orderorbiter::layer4_classification::isomorph
stabilizer_nb_generatorsorbiter::layer4_classification::isomorph
stabilizer_orbitorbiter::layer4_classification::isomorph
stabilizer_recreatedorbiter::layer4_classification::isomorph
starter_numberorbiter::layer4_classification::isomorph
stats_graph_sizeorbiter::layer4_classification::isomorph
stats_nb_backtrackorbiter::layer4_classification::isomorph
stats_nb_backtrack_decisionorbiter::layer4_classification::isomorph
stats_timeorbiter::layer4_classification::isomorph
subsetorbiter::layer4_classification::isomorph
subset_rankorbiter::layer4_classification::isomorph
subset_witnessorbiter::layer4_classification::isomorph
table_of_solutionsorbiter::layer4_classification::isomorph
test_compute_stabilizer(int verbose_level)orbiter::layer4_classification::isomorph
test_edge(int n1, long int *subset1, int *transporter, int verbose_level)orbiter::layer4_classification::isomorph
test_edges(int verbose_level)orbiter::layer4_classification::isomorph
test_hash(int verbose_level)orbiter::layer4_classification::isomorph
test_identify_solution(int verbose_level)orbiter::layer4_classification::isomorph
test_memory()orbiter::layer4_classification::isomorph
test_orbit_representative(int verbose_level)orbiter::layer4_classification::isomorph
tmp_Eltorbiter::layer4_classification::isomorph
tmp_Elt1orbiter::layer4_classification::isomorph
tmp_Elt2orbiter::layer4_classification::isomorph
tmp_Elt3orbiter::layer4_classification::isomorph
tmp_setorbiter::layer4_classification::isomorph
tmp_set1orbiter::layer4_classification::isomorph
tmp_set2orbiter::layer4_classification::isomorph
tmp_set3orbiter::layer4_classification::isomorph
trace_next_point(int cur_level, int cur_node_global, long int *canonical_set, int *transporter, int f_implicit_fusion, int &f_failure_to_find_point, int verbose_level)orbiter::layer4_classification::isomorph
trace_next_point_database(int cur_level, int cur_node_global, long int *canonical_set, int *Elt_transporter, int verbose_level)orbiter::layer4_classification::isomorph
trace_set(long int *canonical_set, int *transporter, int f_implicit_fusion, int &f_failure_to_find_point, int verbose_level)orbiter::layer4_classification::isomorph
trace_set_recursion(int cur_level, int cur_node_global, long int *canonical_set, int *transporter, int f_implicit_fusion, int &f_failure_to_find_point, int verbose_level)orbiter::layer4_classification::isomorph
trace_set_recursion_Elt1orbiter::layer4_classification::isomorph
trace_set_recursion_tmp_set1orbiter::layer4_classification::isomorph
transporterorbiter::layer4_classification::isomorph
UForbiter::layer4_classification::isomorph
vorbiter::layer4_classification::isomorph
write_classification_graph(int verbose_level)orbiter::layer4_classification::isomorph
write_classification_matrix(int verbose_level)orbiter::layer4_classification::isomorph
write_hash_and_datref_file(int verbose_level)orbiter::layer4_classification::isomorph
write_orbit_data(int verbose_level)orbiter::layer4_classification::isomorph
write_solution_first_and_len()orbiter::layer4_classification::isomorph
write_starter_nb_orbits(int verbose_level)orbiter::layer4_classification::isomorph
write_statistics()orbiter::layer4_classification::isomorph
~isomorph()orbiter::layer4_classification::isomorph