16namespace layer1_foundations {
17namespace data_structures {
55 int argc, std::string *argv,
61 cout <<
"set_builder_description::read_arguments" << endl;
62 for (i = 0; i < argc; i++) {
63 if (ST.
stringcmp(argv[i],
"-loop") == 0) {
72 else if (ST.
stringcmp(argv[i],
"-affine_function") == 0) {
78 else if (ST.
stringcmp(argv[i],
"-clone_with_affine_function") == 0) {
84 else if (ST.
stringcmp(argv[i],
"-set_builder") == 0) {
87 cout <<
"reading -set_builder" << endl;
89 argv + i + 1, verbose_level);
91 cout <<
"-set_builder" << endl;
92 cout <<
"i = " << i << endl;
93 cout <<
"argc = " << argc << endl;
95 cout <<
"next argument is " << argv[i] << endl;
97 cout <<
"-set_builder " << endl;
100 else if (ST.
stringcmp(argv[i],
"-here") == 0) {
105 else if (ST.
stringcmp(argv[i],
"-file") == 0) {
111 else if (ST.
stringcmp(argv[i],
"-end") == 0) {
112 cout <<
"-end" << endl;
116 cout <<
"set_builder_description::read_arguments "
117 "unrecognized option " << argv[i] << endl;
120 cout <<
"set_builder_description::read_arguments done" << endl;
126 cout <<
"set_builder_description:" << endl;
138 cout <<
"-set_builder" << endl;
140 cout <<
"-end" << endl;
to define a set of integers for class set_builder
int f_clone_with_affine_function
int index_set_loop_increment
int clone_with_affine_function_a
set_builder_description()
int read_arguments(int argc, std::string *argv, int verbose_level)
set_builder_description * Descr
int clone_with_affine_function_b
~set_builder_description()
int index_set_loop_upper_bound
the orbiter library for the classification of combinatorial objects