17namespace layer1_foundations {
50 int argc, std::string *argv,
53 int f_v = (verbose_level >= 1);
58 cout <<
"dlx_problem_description::read_arguments" << endl;
60 for (i = 0; i < argc; i++) {
62 if (ST.
stringcmp(argv[i],
"-label_txt") == 0) {
66 cout <<
"-label_txt " <<
label_txt << endl;
69 else if (ST.
stringcmp(argv[i],
"-label_tex") == 0) {
73 cout <<
"-label_tex " <<
label_tex << endl;
76 else if (ST.
stringcmp(argv[i],
"-data_label") == 0) {
83 else if (ST.
stringcmp(argv[i],
"-write_solutions") == 0) {
86 cout <<
"-write_solutions " << endl;
89 else if (ST.
stringcmp(argv[i],
"-write_tree") == 0) {
92 cout <<
"-write_tree " << endl;
95 else if (ST.
stringcmp(argv[i],
"-tracking_depth") == 0) {
102 else if (ST.
stringcmp(argv[i],
"-end") == 0) {
106 cout <<
"dlx_problem_description::read_arguments "
107 "unrecognized option " << argv[i] << endl;
112 cout <<
"dlx_problem_description::read_arguments done" << endl;
120 cout <<
"-label_txt " <<
label_txt << endl;
123 cout <<
"-label_tex " <<
label_tex << endl;
132 cout <<
"-write_solutions " << endl;
135 cout <<
"-write_tree " << endl;
dlx_problem_description()
~dlx_problem_description()
int read_arguments(int argc, std::string *argv, int verbose_level)
the orbiter library for the classification of combinatorial objects