11#include "Clique/RainbowClique.h"
18namespace layer1_foundations {
19namespace graph_theory {
74 int argc, std::string *argv)
79 cout <<
"clique_finder_control::parse_arguments" << endl;
80 for (i = 0; i < argc; i++) {
81 if (ST.
stringcmp(argv[i],
"-rainbow") == 0) {
83 cout <<
"-rainbow " << endl;
85 else if (ST.
stringcmp(argv[i],
"-target_size") == 0) {
90 else if (ST.
stringcmp(argv[i],
"-weighted") == 0) {
102 else if (ST.
stringcmp(argv[i],
"-Sajeeb") == 0) {
104 cout <<
"-Sajeeb " << endl;
106 else if (ST.
stringcmp(argv[i],
"-nonrecursive") == 0) {
108 cout <<
"-nonrecursive " << endl;
110 else if (ST.
stringcmp(argv[i],
"-tree") == 0) {
116 else if (ST.
stringcmp(argv[i],
"-tree_decision_nodes_only") == 0) {
120 cout <<
"-tree_decision_nodes_only " <<
fname_tree << endl;
122 else if (ST.
stringcmp(argv[i],
"-output_file") == 0) {
127 else if (ST.
stringcmp(argv[i],
"-output_solution_raw") == 0) {
129 cout <<
"-output_solution_raw " << endl;
131 else if (ST.
stringcmp(argv[i],
"-count_solutions_only") == 0) {
133 cout <<
"-count_solutions_only " << endl;
135 else if (ST.
stringcmp(argv[i],
"-restrictions") == 0) {
138 for (j = 0;
TRUE; j++) {
145 cout <<
"clique_finder_control::parse_arguments "
146 "restrictions must end in -1" << endl;
150 cout <<
"-restrictions ";
154 else if (ST.
stringcmp(argv[i],
"-end") == 0) {
155 cout <<
"-end" << endl;
159 cout <<
"clique_finder_control::parse_arguments "
160 "unrecognized option " << argv[i] << endl;
163 cout <<
"clique_finder_control::parse_arguments "
164 "did not see -end option" << endl;
172 cout <<
"-rainbow " << endl;
185 cout <<
"-Sajeeb " << endl;
188 cout <<
"-nonrecursive " << endl;
194 cout <<
"-tree_decision_nodes_only " <<
fname_tree << endl;
200 cout <<
"-output_solution_raw " << endl;
203 cout <<
"-count_solutions_only " << endl;
206 cout <<
"-restrictions ";
int f_has_print_current_choice_function
int parse_arguments(int argc, std::string *argv)
unsigned long int nb_decision_steps
void(* call_back_print_current_choice)(clique_finder *CF, int depth, void *user_data, int verbose_level)
unsigned long int nb_search_steps
void(* call_back_additional_test_function)(rainbow_cliques *R, void *user_data, int current_clique_size, int *current_clique, int nb_pts, int &reduced_nb_pts, int *pt_list, int *pt_list_inv, int verbose_level)
int f_has_additional_test_function
std::string weights_string
void * additional_test_function_data
std::string weights_bounds
int restrictions[CLIQUE_FINDER_CONTROL_MAX_RESTRICTIONS *3]
int f_decision_nodes_only
int f_output_solution_raw
void * print_current_choice_data
#define CLIQUE_FINDER_CONTROL_MAX_RESTRICTIONS
#define Int_vec_print(A, B, C)
the orbiter library for the classification of combinatorial objects