16namespace layer5_applications {
63 cout <<
"packing_was_description::read_arguments" << endl;
64 for (i = 0; i < argc; i++) {
68 cout <<
"reading -H" << endl;
72 argv + i + 1, verbose_level);
75 cout <<
"done reading -H" << endl;
76 cout <<
"i = " << i << endl;
77 cout <<
"argc = " << argc << endl;
79 cout <<
"next argument is " << argv[i] << endl;
83 else if (ST.
stringcmp(argv[i],
"-N") == 0) {
85 cout <<
"reading -N" << endl;
89 argv + i + 1, verbose_level);
92 cout <<
"done reading -N" << endl;
93 cout <<
"i = " << i << endl;
94 cout <<
"argc = " << argc << endl;
96 cout <<
"next argument is " << argv[i] << endl;
100 else if (ST.
stringcmp(argv[i],
"-fixp_clique_types_save_individually") == 0) {
102 cout <<
"-fixp_clique_types_save_individually " << endl;
106 else if (ST.
stringcmp(argv[i],
"-process_long_orbits") == 0) {
109 cout <<
"-process_long_orbits " << endl;
111 argv + i + 1, verbose_level);
113 cout <<
"done reading -process_long_orbits " << endl;
114 cout <<
"i = " << i << endl;
115 cout <<
"argc = " << argc << endl;
117 cout <<
"next argument is " << argv[i] << endl;
124 else if (ST.
stringcmp(argv[i],
"-spread_tables_prefix") == 0) {
127 cout <<
"-spread_tables_prefix "
131 else if (ST.
stringcmp(argv[i],
"-report") == 0) {
133 cout <<
"-report " << endl;
136 else if (ST.
stringcmp(argv[i],
"-exact_cover") == 0) {
140 argv + i + 1, verbose_level);
142 cout <<
"done reading -exact_cover " << endl;
143 cout <<
"i = " << i << endl;
144 cout <<
"argc = " << argc << endl;
146 cout <<
"next argument is " << argv[i] << endl;
148 cout <<
"-exact_cover " << endl;
151 else if (ST.
stringcmp(argv[i],
"-isomorph") == 0) {
155 argv + i + 1, verbose_level);
157 cout <<
"done reading -isomorph " << endl;
158 cout <<
"i = " << i << endl;
159 cout <<
"argc = " << argc << endl;
161 cout <<
"next argument is " << argv[i] << endl;
163 cout <<
"-isomorph " << endl;
166 else if (ST.
stringcmp(argv[i],
"-regular_packing") == 0) {
168 cout <<
"-regular_packing " << endl;
173 else if (ST.
stringcmp(argv[i],
"-end") == 0) {
177 cout <<
"packing_was_description::read_arguments unknown argument " << argv[i] << endl;
182 cout <<
"packing_was_description::read_arguments done" << endl;
190 cout <<
"-H" <<
" " <<
H_label << endl;
195 cout <<
"-N" <<
" " <<
N_label << endl;
200 cout <<
"-fixp_clique_types_save_individually " << endl;
205 cout <<
"-process_long_orbits " << endl;
217 cout <<
"-report " << endl;
221 cout <<
"-exact_cover " << endl;
225 cout <<
"-isomorph " << endl;
229 cout <<
"-regular_packing " << endl;
description of a linear group from the command line
int read_arguments(int argc, std::string *argv, int verbose_level)
command line arguments to control the lifting via exact cover
int read_arguments(int argc, std::string *argv, int verbose_level)
auxiliary class for class isomorph
int read_arguments(int argc, std::string *argv, int verbose_level)
command line description of picking long orbits of packings with assumed symmetry
int read_arguments(int argc, std::string *argv, int verbose_level)
~packing_was_description()
packing_was_description()
exact_cover_arguments * ECA
int f_spread_tables_prefix
std::string spread_tables_prefix
int read_arguments(int argc, std::string *argv, int verbose_level)
groups::linear_group_description * N_Descr
groups::linear_group_description * H_Descr
packing_long_orbits_description * Long_Orbits_Descr
int f_fixp_clique_types_save_individually
int f_process_long_orbits
the orbiter library for the classification of combinatorial objects