| A_base | orbiter::layer4_classification::exact_cover | |
| A_on_blocks | orbiter::layer4_classification::exact_cover | |
| add_late_cleanup_function(void(*late_cleanup_function)(exact_cover *E, int starter_case, int verbose_level)) | orbiter::layer4_classification::exact_cover | |
| add_solution_test_function(int(*solution_test_func)(exact_cover *EC, long int *S, int len, void *data, int verbose_level), void *solution_test_func_data, int verbose_level) | orbiter::layer4_classification::exact_cover | |
| base_fname | orbiter::layer4_classification::exact_cover | |
| compute_liftings_new(int f_solve, int f_save, int f_read_instead, int f_draw_system, std::string &fname_system, int f_write_tree, std::string &fname_tree, int verbose_level) | orbiter::layer4_classification::exact_cover | |
| compute_liftings_single_case_new(int starter_case, int f_solve, int f_save, int f_read_instead, int &nb_col, long int *&Solutions, int &sol_length, int &nb_sol, int &nb_backtrack, int &dt, int f_draw_system, std::string &fname_system, int f_write_tree, std::string &fname_tree, int verbose_level) | orbiter::layer4_classification::exact_cover | |
| early_test_func | orbiter::layer4_classification::exact_cover | |
| early_test_func_data | orbiter::layer4_classification::exact_cover | |
| exact_cover() | orbiter::layer4_classification::exact_cover | |
| f_has_late_cleanup_function | orbiter::layer4_classification::exact_cover | |
| f_has_solution_test_func | orbiter::layer4_classification::exact_cover | |
| f_lex | orbiter::layer4_classification::exact_cover | |
| f_randomized | orbiter::layer4_classification::exact_cover | |
| f_single_case | orbiter::layer4_classification::exact_cover | |
| f_split | orbiter::layer4_classification::exact_cover | |
| fname_solutions | orbiter::layer4_classification::exact_cover | |
| fname_statistics | orbiter::layer4_classification::exact_cover | |
| freeself() | orbiter::layer4_classification::exact_cover | |
| init_basic(void *user_data, actions::action *A_base, actions::action *A_on_blocks, int target_size, int starter_size, std::string &input_prefix, std::string &output_prefix, std::string &solution_prefix, std::string &base_fname, int f_lex, int verbose_level) | orbiter::layer4_classification::exact_cover | |
| init_early_test_func(void(*early_test_func)(long int *S, int len, long int *candidates, int nb_candidates, long int *good_candidates, int &nb_good_candidates, void *data, int verbose_level), void *early_test_func_data, int verbose_level) | orbiter::layer4_classification::exact_cover | |
| init_prepare_function_new(void(*prepare_function_new)(exact_cover *E, int starter_case, long int *candidates, int nb_candidates, groups::strong_generators *Strong_gens, solvers::diophant *&Dio, long int *&col_label, int &f_ruled_out, int verbose_level), int verbose_level) | orbiter::layer4_classification::exact_cover | |
| input_prefix | orbiter::layer4_classification::exact_cover | |
| late_cleanup_function | orbiter::layer4_classification::exact_cover | |
| lexorder_test(long int *live_blocks2, int &nb_live_blocks2, data_structures_groups::vector_ge *stab_gens, int verbose_level) | orbiter::layer4_classification::exact_cover | |
| null() | orbiter::layer4_classification::exact_cover | |
| output_prefix | orbiter::layer4_classification::exact_cover | |
| prepare_function_new | orbiter::layer4_classification::exact_cover | |
| random_permutation | orbiter::layer4_classification::exact_cover | |
| random_permutation_fname | orbiter::layer4_classification::exact_cover | |
| randomize(std::string &random_permutation_fname, int verbose_level) | orbiter::layer4_classification::exact_cover | |
| set_single_case(int single_case, int verbose_level) | orbiter::layer4_classification::exact_cover | |
| set_split(int split_r, int split_m, int verbose_level) | orbiter::layer4_classification::exact_cover | |
| single_case | orbiter::layer4_classification::exact_cover | |
| solution_prefix | orbiter::layer4_classification::exact_cover | |
| solution_test_func | orbiter::layer4_classification::exact_cover | |
| solution_test_func_data | orbiter::layer4_classification::exact_cover | |
| split_m | orbiter::layer4_classification::exact_cover | |
| split_r | orbiter::layer4_classification::exact_cover | |
| starter | orbiter::layer4_classification::exact_cover | |
| starter_nb_cases | orbiter::layer4_classification::exact_cover | |
| starter_size | orbiter::layer4_classification::exact_cover | |
| target_size | orbiter::layer4_classification::exact_cover | |
| user_data | orbiter::layer4_classification::exact_cover | |
| ~exact_cover() | orbiter::layer4_classification::exact_cover | |
1.9.3