| A | orbiter::layer4_classification::isomorph | |
| A_base | orbiter::layer4_classification::isomorph | |
| AA | orbiter::layer4_classification::isomorph | |
| AA_on_k_subsets | orbiter::layer4_classification::isomorph | |
| AA_perm | orbiter::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_Elt1 | orbiter::layer4_classification::isomorph | |
| apply_fusion_tmp_set1 | orbiter::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_set | orbiter::layer4_classification::isomorph | |
| close_level_database(int verbose_level) | orbiter::layer4_classification::isomorph | |
| close_solution_database(int verbose_level) | orbiter::layer4_classification::isomorph | |
| cnt_minimal | orbiter::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 | |
| D1 | orbiter::layer4_classification::isomorph | |
| D2 | orbiter::layer4_classification::isomorph | |
| DB_level | orbiter::layer4_classification::isomorph | |
| DB_sol | orbiter::layer4_classification::isomorph | |
| decomposition_matrix(int verbose_level) | orbiter::layer4_classification::isomorph | |
| depth_completed | orbiter::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 | |
| Elt1 | orbiter::layer4_classification::isomorph | |
| Elt_transporter | orbiter::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_fname | orbiter::layer4_classification::isomorph | |
| f_tmp_data_has_been_allocated | orbiter::layer4_classification::isomorph | |
| f_use_database_for_starter | orbiter::layer4_classification::isomorph | |
| f_use_implicit_fusion | orbiter::layer4_classification::isomorph | |
| f_use_table_of_solutions | orbiter::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_set1 | orbiter::layer4_classification::isomorph | |
| flag_orbit_fst | orbiter::layer4_classification::isomorph | |
| flag_orbit_len | orbiter::layer4_classification::isomorph | |
| fname_case_len | orbiter::layer4_classification::isomorph | |
| fname_db1 | orbiter::layer4_classification::isomorph | |
| fname_db2 | orbiter::layer4_classification::isomorph | |
| fname_db3 | orbiter::layer4_classification::isomorph | |
| fname_db4 | orbiter::layer4_classification::isomorph | |
| fname_db5 | orbiter::layer4_classification::isomorph | |
| fname_db_level | orbiter::layer4_classification::isomorph | |
| fname_db_level_ge | orbiter::layer4_classification::isomorph | |
| fname_db_level_idx1 | orbiter::layer4_classification::isomorph | |
| fname_db_level_idx2 | orbiter::layer4_classification::isomorph | |
| fname_ge1 | orbiter::layer4_classification::isomorph | |
| fname_ge2 | orbiter::layer4_classification::isomorph | |
| fname_hash_and_datref | orbiter::layer4_classification::isomorph | |
| fname_orbits_of_stabilizer_csv | orbiter::layer4_classification::isomorph | |
| fname_staborbits | orbiter::layer4_classification::isomorph | |
| fname_statistics | orbiter::layer4_classification::isomorph | |
| fp_event_out | orbiter::layer4_classification::isomorph | |
| fp_ge | orbiter::layer4_classification::isomorph | |
| fp_ge1 | orbiter::layer4_classification::isomorph | |
| fp_ge2 | orbiter::layer4_classification::isomorph | |
| free() | orbiter::layer4_classification::isomorph | |
| free_tmp_data() | orbiter::layer4_classification::isomorph | |
| gen | orbiter::layer4_classification::isomorph | |
| gens_perm | orbiter::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_Elt1 | orbiter::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_hash | orbiter::layer4_classification::isomorph | |
| hash_vs_id_id | orbiter::layer4_classification::isomorph | |
| id_to_datref | orbiter::layer4_classification::isomorph | |
| id_to_hash | orbiter::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_nodes | orbiter::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 | |
| level | orbiter::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_Elt1 | orbiter::layer4_classification::isomorph | |
| make_set_smaller_Elt2 | orbiter::layer4_classification::isomorph | |
| make_set_smaller_set | orbiter::layer4_classification::isomorph | |
| N | orbiter::layer4_classification::isomorph | |
| nb_fused | orbiter::layer4_classification::isomorph | |
| nb_is_minimal | orbiter::layer4_classification::isomorph | |
| nb_is_minimal_called | orbiter::layer4_classification::isomorph | |
| nb_open | orbiter::layer4_classification::isomorph | |
| nb_orbits | orbiter::layer4_classification::isomorph | |
| nb_reps | orbiter::layer4_classification::isomorph | |
| nb_sets_reached | orbiter::layer4_classification::isomorph | |
| nb_starter | orbiter::layer4_classification::isomorph | |
| nb_times_make_set_smaller_called | orbiter::layer4_classification::isomorph | |
| NCK | orbiter::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_fst | orbiter::layer4_classification::isomorph | |
| orbit_len | orbiter::layer4_classification::isomorph | |
| orbit_no | orbiter::layer4_classification::isomorph | |
| orbit_number | orbiter::layer4_classification::isomorph | |
| orbit_perm | orbiter::layer4_classification::isomorph | |
| orbit_perm_inv | orbiter::layer4_classification::isomorph | |
| orbit_representative(int i, int &i0, int &orbit, int *transporter, int verbose_level) | orbiter::layer4_classification::isomorph | |
| orbit_representative_Elt1 | orbiter::layer4_classification::isomorph | |
| orbit_representative_Elt2 | orbiter::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 | |
| prefix | orbiter::layer4_classification::isomorph | |
| prefix_invariants | orbiter::layer4_classification::isomorph | |
| prefix_tex | orbiter::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_data | orbiter::layer4_classification::isomorph | |
| print_set_function | orbiter::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_set | orbiter::layer4_classification::isomorph | |
| rearranged_set_save | orbiter::layer4_classification::isomorph | |
| Reps | orbiter::layer4_classification::isomorph | |
| schreier_prev | orbiter::layer4_classification::isomorph | |
| schreier_vector | orbiter::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 | |
| size | orbiter::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_first | orbiter::layer4_classification::isomorph | |
| solution_len | orbiter::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_generators | orbiter::layer4_classification::isomorph | |
| stabilizer_group_order | orbiter::layer4_classification::isomorph | |
| stabilizer_nb_generators | orbiter::layer4_classification::isomorph | |
| stabilizer_orbit | orbiter::layer4_classification::isomorph | |
| stabilizer_recreated | orbiter::layer4_classification::isomorph | |
| starter_number | orbiter::layer4_classification::isomorph | |
| stats_graph_size | orbiter::layer4_classification::isomorph | |
| stats_nb_backtrack | orbiter::layer4_classification::isomorph | |
| stats_nb_backtrack_decision | orbiter::layer4_classification::isomorph | |
| stats_time | orbiter::layer4_classification::isomorph | |
| subset | orbiter::layer4_classification::isomorph | |
| subset_rank | orbiter::layer4_classification::isomorph | |
| subset_witness | orbiter::layer4_classification::isomorph | |
| table_of_solutions | orbiter::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_Elt | orbiter::layer4_classification::isomorph | |
| tmp_Elt1 | orbiter::layer4_classification::isomorph | |
| tmp_Elt2 | orbiter::layer4_classification::isomorph | |
| tmp_Elt3 | orbiter::layer4_classification::isomorph | |
| tmp_set | orbiter::layer4_classification::isomorph | |
| tmp_set1 | orbiter::layer4_classification::isomorph | |
| tmp_set2 | orbiter::layer4_classification::isomorph | |
| tmp_set3 | orbiter::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_Elt1 | orbiter::layer4_classification::isomorph | |
| trace_set_recursion_tmp_set1 | orbiter::layer4_classification::isomorph | |
| transporter | orbiter::layer4_classification::isomorph | |
| UF | orbiter::layer4_classification::isomorph | |
| v | orbiter::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 | |