15namespace layer1_foundations {
16namespace combinatorics {
30 fixed_structure_order_list_sz = 0;
54 int argc, std::string *argv,
60 cout <<
"classification_of_objects_description::read_arguments" << endl;
61 for (i = 0; i < argc; i++) {
63 cout <<
"classification_of_objects_description::read_arguments, next argument is " << argv[i] << endl;
65 if (ST.
stringcmp(argv[i],
"-label") == 0) {
67 label.assign(argv[++i]);
68 cout <<
"-label" <<
label << endl;
71 else if (ST.
stringcmp(argv[i],
"-save_classification") == 0) {
74 cout <<
"-save_classification" <<
save_prefix << endl;
77 else if (stringcmp(argv[i],
"-fixed_structure_of_element_of_order") == 0) {
78 fixed_structure_order_list[fixed_structure_order_list_sz] = strtoi(argv[++i]);
79 cout <<
"-fixed_structure_of_element_of_order "
80 << fixed_structure_order_list[fixed_structure_order_list_sz] << endl;
81 fixed_structure_order_list_sz++;
85 else if (ST.
stringcmp(argv[i],
"-max_TDO_depth") == 0) {
91 else if (ST.
stringcmp(argv[i],
"-classification_prefix") == 0) {
97 else if (ST.
stringcmp(argv[i],
"-save_canonical_labeling") == 0) {
99 cout <<
"-save_canonical_labeling " << endl;
102 else if (ST.
stringcmp(argv[i],
"-save_ago") == 0) {
104 cout <<
"-save_ago " << endl;
107 else if (ST.
stringcmp(argv[i],
"-save_transversal") == 0) {
109 cout <<
"-save_transversal " << endl;
111 else if (ST.
stringcmp(argv[i],
"-end") == 0) {
112 cout <<
"projective_space_object_classifier_description::read_arguments -end" << endl;
117 cout <<
"classification_of_objects_description::read_arguments "
118 "unrecognized option " << argv[i] << endl;
121 cout <<
"classification_of_objects_description::read_arguments looping, i=" << i << endl;
123 cout <<
"classification_of_objects_description::read_arguments done" << endl;
131 cout <<
"-label " <<
label << endl;
134 cout <<
"-save_classification " <<
save_prefix << endl;
147 cout <<
"-save_canonical_labeling " << endl;
151 cout <<
"-save_ago " << endl;
155 cout <<
"-save_transversal " << endl;
int f_save_classification
int read_arguments(int argc, std::string *argv, int verbose_level)
int f_save_canonical_labeling
int f_classification_prefix
std::string classification_prefix
~classification_of_objects_description()
classification_of_objects_description()
the orbiter library for the classification of combinatorial objects