18namespace layer5_applications {
19namespace user_interface {
26 f_create_files =
FALSE;
27 Create_file_description = NULL;
30 f_csv_file_select_rows =
FALSE;
34 f_csv_file_split_rows_modulo =
FALSE;
36 csv_file_split_rows_modulo_n = 0;
38 f_csv_file_select_cols =
FALSE;
42 f_csv_file_select_rows_and_cols =
FALSE;
47 f_csv_file_sort_each_row =
FALSE;
50 f_csv_file_join =
FALSE;
55 f_csv_file_concatenate =
FALSE;
59 f_csv_file_extract_column_to_txt =
FALSE;
63 f_csv_file_latex =
FALSE;
64 f_produce_latex_header =
FALSE;
67 f_draw_matrix =
FALSE;
68 Draw_bitmap_control = NULL;
76 f_split_by_values =
FALSE;
79 f_store_as_csv_file =
FALSE;
81 store_as_csv_file_m = 0;
82 store_as_csv_file_n = 0;
98 f_plot_function =
FALSE;
101 f_draw_projective_curve =
FALSE;
102 Draw_projective_curve_description = NULL;
105 Tree_draw_options = NULL;
110 std::string *argv,
int i,
int verbose_level)
114 if (ST.
stringcmp(argv[i],
"-create_files") == 0) {
115 cout <<
"-create_files <description>" << endl;
117 else if (ST.
stringcmp(argv[i],
"-csv_file_select_rows") == 0) {
118 cout <<
"-cvs_file_select_rows <string : csv_file_name> <string : list of rows>" << endl;
120 else if (ST.
stringcmp(argv[i],
"-csv_file_split_rows_modulo") == 0) {
121 cout <<
"-csv_file_split_rows_modulo <string : csv_file_name> <int : n>" << endl;
123 else if (ST.
stringcmp(argv[i],
"-csv_file_select_cols") == 0) {
124 cout <<
"-cvs_file_select_cols <string : csv_file_name> <string : list of cols>" << endl;
126 else if (ST.
stringcmp(argv[i],
"-csv_file_select_rows_and_cols") == 0) {
127 cout <<
"-csv_file_select_rows_and_cols <string : csv_file_name> <string : list of rows> <string : list of cols>" << endl;
129 else if (ST.
stringcmp(argv[i],
"-csv_file_sort_each_row") == 0) {
130 cout <<
"-csv_file_sort_each_row <string : input file>" << endl;
132 else if (ST.
stringcmp(argv[i],
"-csv_file_join") == 0) {
133 cout <<
"-cvs_file_join <int : number of files> <string : input file1> <string : column label1> ..." << endl;
135 else if (ST.
stringcmp(argv[i],
"-csv_file_concatenate") == 0) {
136 cout <<
"-csv_file_concatenate <string : fname_out> <int : number of input files> <string : inout file1> ..." << endl;
138 else if (ST.
stringcmp(argv[i],
"-csv_file_extract_column_to_txt") == 0) {
139 cout <<
"-csv_file_extract_column_to_txt <string : csv_fname> <string : col_label>" << endl;
141 else if (ST.
stringcmp(argv[i],
"-csv_file_latex") == 0) {
142 cout <<
"-cvs_file_latex <int : f_produce_header> <string : file_name>" << endl;
144 else if (ST.
stringcmp(argv[i],
"-draw_matrix") == 0) {
145 cout <<
"-draw_matrix options -end" << endl;
147 else if (ST.
stringcmp(argv[i],
"-reformat") == 0) {
148 cout <<
"-reformat <string : fname_in> <string : fname_out> <int : new_width>" << endl;
150 else if (ST.
stringcmp(argv[i],
"-split_by_values") == 0) {
151 cout <<
"-split_by_values <string : fname_in>" << endl;
153 else if (ST.
stringcmp(argv[i],
"-store_as_csv_file") == 0) {
154 cout <<
"-store_as_csv_file <string : fname> <int : m> "
155 "<int : n> <string : data> " << endl;
157 else if (ST.
stringcmp(argv[i],
"-mv") == 0) {
158 cout <<
"-mv <string : from> <string : to> " << endl;
160 else if (ST.
stringcmp(argv[i],
"-loop") == 0) {
161 cout <<
"-loop <string : variable> <string : logfile_mask> <int : from> <int : to> <int : step> <arguments> -loop_end" << endl;
163 else if (ST.
stringcmp(argv[i],
"-plot_function") == 0) {
164 cout <<
"-plot_function <string : fname_csv>" << endl;
166 else if (ST.
stringcmp(argv[i],
"-draw_projective_curve") == 0) {
167 cout <<
"-draw_projective_curve ..." << endl;
169 else if (ST.
stringcmp(argv[i],
"-tree_draw") == 0) {
170 cout <<
"-tree_draw <options> -end" << endl;
175 std::string *argv,
int i,
int verbose_level)
182 if (ST.
stringcmp(argv[i],
"-create_files") == 0) {
185 else if (ST.
stringcmp(argv[i],
"-csv_file_select_rows") == 0) {
188 else if (ST.
stringcmp(argv[i],
"-csv_file_split_rows_modulo") == 0) {
191 else if (ST.
stringcmp(argv[i],
"-csv_file_select_cols") == 0) {
194 else if (ST.
stringcmp(argv[i],
"-csv_file_select_rows_and_cols") == 0) {
197 else if (ST.
stringcmp(argv[i],
"-csv_file_sort_each_row") == 0) {
200 else if (ST.
stringcmp(argv[i],
"-csv_file_join") == 0) {
203 else if (ST.
stringcmp(argv[i],
"-csv_file_concatenate") == 0) {
206 else if (ST.
stringcmp(argv[i],
"-csv_file_extract_column_to_txt") == 0) {
209 else if (ST.
stringcmp(argv[i],
"-csv_file_latex") == 0) {
212 else if (ST.
stringcmp(argv[i],
"-draw_matrix") == 0) {
215 else if (ST.
stringcmp(argv[i],
"-reformat") == 0) {
218 else if (ST.
stringcmp(argv[i],
"-split_by_values") == 0) {
221 else if (ST.
stringcmp(argv[i],
"-store_as_csv_file") == 0) {
224 else if (ST.
stringcmp(argv[i],
"-mv") == 0) {
227 else if (ST.
stringcmp(argv[i],
"-loop") == 0) {
230 else if (ST.
stringcmp(argv[i],
"-plot_function") == 0) {
233 else if (ST.
stringcmp(argv[i],
"-draw_projective_curve") == 0) {
236 else if (ST.
stringcmp(argv[i],
"-tree_draw") == 0) {
243 std::string *argv,
int &i,
int verbose_level)
245 int f_v = (verbose_level >= 1);
249 cout <<
"interface_toolkit::read_arguments" << endl;
253 cout <<
"interface_toolkit::read_arguments the next argument is " << argv[i] << endl;
255 if (ST.
stringcmp(argv[i],
"-create_files") == 0) {
256 f_create_files =
TRUE;
259 cout <<
"-create_files " << endl;
264 argv + i + 1, verbose_level);
266 cout <<
"interface_combinatorics::read_arguments finished "
267 "reading -create_files" << endl;
268 cout <<
"i = " << i << endl;
269 cout <<
"argc = " << argc << endl;
271 cout <<
"next argument is " << argv[i] << endl;
274 cout <<
"-create_files " <<endl;
277 else if (ST.
stringcmp(argv[i],
"-csv_file_select_rows") == 0) {
278 f_csv_file_select_rows =
TRUE;
279 csv_file_select_rows_fname.assign(argv[++i]);
280 csv_file_select_rows_text.assign(argv[++i]);
282 cout <<
"-csv_file_select_rows " << csv_file_select_rows_fname
283 <<
" " << csv_file_select_rows_text << endl;
286 else if (ST.
stringcmp(argv[i],
"-csv_file_split_rows_modulo") == 0) {
287 f_csv_file_split_rows_modulo =
TRUE;
288 csv_file_split_rows_modulo_fname.assign(argv[++i]);
289 csv_file_split_rows_modulo_n = ST.
strtoi(argv[++i]);
291 cout <<
"-csv_file_split_rows_modulo " << csv_file_split_rows_modulo_fname
292 <<
" " << csv_file_split_rows_modulo_n << endl;
295 else if (ST.
stringcmp(argv[i],
"-csv_file_select_cols") == 0) {
296 f_csv_file_select_cols =
TRUE;
297 csv_file_select_cols_fname.assign(argv[++i]);
298 csv_file_select_cols_text.assign(argv[++i]);
300 cout <<
"-csv_file_select_cols " << csv_file_select_cols_fname
301 <<
" " << csv_file_select_cols_text << endl;
304 else if (ST.
stringcmp(argv[i],
"-csv_file_select_rows_and_cols") == 0) {
305 f_csv_file_select_rows_and_cols =
TRUE;
306 csv_file_select_rows_and_cols_fname.assign(argv[++i]);
307 csv_file_select_rows_and_cols_R_text.assign(argv[++i]);
308 csv_file_select_rows_and_cols_C_text.assign(argv[++i]);
310 cout <<
"-csv_file_select_rows_and_cols "
311 << csv_file_select_rows_and_cols_fname
312 <<
" " << csv_file_select_rows_and_cols_R_text
313 <<
" " << csv_file_select_rows_and_cols_C_text
317 else if (ST.
stringcmp(argv[i],
"-csv_file_sort_each_row") == 0) {
318 f_csv_file_sort_each_row =
TRUE;
319 csv_file_sort_each_row_fname.assign(argv[++i]);
321 cout <<
"-csv_file_sort_each_row "
322 << csv_file_sort_each_row_fname
326 else if (ST.
stringcmp(argv[i],
"-csv_file_join") == 0) {
330 f_csv_file_join =
TRUE;
331 nb = ST.
strtoi(argv[++i]);
332 for (j = 0; j < nb; j++) {
334 csv_file_join_fname.push_back(s);
336 csv_file_join_identifier.push_back(s);
339 cout <<
"-csv_file_join " << endl;
340 for (j = 0; j < nb; j++) {
341 cout << j <<
" : " << csv_file_join_fname[j]
342 <<
" : " << csv_file_join_identifier[j] << endl;
346 else if (ST.
stringcmp(argv[i],
"-csv_file_concatenate") == 0) {
350 f_csv_file_concatenate =
TRUE;
351 csv_file_concatenate_fname_out.assign(argv[++i]);
352 nb = ST.
strtoi(argv[++i]);
353 for (j = 0; j < nb; j++) {
355 csv_file_concatenate_fname_in.push_back(s);
358 cout <<
"-csv_file_concatenate " << csv_file_concatenate_fname_out << endl;
359 for (j = 0; j < nb; j++) {
360 cout << j <<
" : " << csv_file_concatenate_fname_in[j] << endl;
364 else if (ST.
stringcmp(argv[i],
"-csv_file_extract_column_to_txt") == 0) {
365 f_csv_file_extract_column_to_txt =
TRUE;
366 csv_file_extract_column_to_txt_fname.assign(argv[++i]);
367 csv_file_extract_column_to_txt_col_label.assign(argv[++i]);
369 cout <<
"-csv_file_extract_column_to_txt " << csv_file_extract_column_to_txt_fname <<
" " << csv_file_extract_column_to_txt_col_label << endl;
373 else if (ST.
stringcmp(argv[i],
"-csv_file_latex") == 0) {
374 f_csv_file_latex =
TRUE;
375 f_produce_latex_header = ST.
strtoi(argv[++i]);
376 csv_file_latex_fname.assign(argv[++i]);
378 cout <<
"-csv_file_latex " << f_produce_latex_header <<
" " << csv_file_latex_fname << endl;
381 else if (ST.
stringcmp(argv[i],
"-draw_matrix") == 0) {
382 f_draw_matrix =
TRUE;
385 cout <<
"reading -draw_matrix" << endl;
388 argv + i + 1, verbose_level);
390 cout <<
"i = " << i << endl;
391 cout <<
"argc = " << argc << endl;
393 cout <<
"next argument is " << argv[i] << endl;
395 cout <<
"-draw_matrix " << endl;
396 Draw_bitmap_control->
print();
399 else if (ST.
stringcmp(argv[i],
"-reformat") == 0) {
401 reformat_fname_in.assign(argv[++i]);
402 reformat_fname_out.assign(argv[++i]);
403 reformat_nb_cols = ST.
strtoi(argv[++i]);
405 cout <<
"-reformat " << reformat_fname_in
406 <<
" " << reformat_fname_out
407 <<
" " << reformat_nb_cols << endl;
410 else if (ST.
stringcmp(argv[i],
"-split_by_values") == 0) {
411 f_split_by_values =
TRUE;
412 split_by_values_fname_in.assign(argv[++i]);
414 cout <<
"-split_by_values " << split_by_values_fname_in << endl;
417 else if (ST.
stringcmp(argv[i],
"-store_as_csv_file") == 0) {
418 f_store_as_csv_file =
TRUE;
419 store_as_csv_file_fname.assign(argv[++i]);
420 store_as_csv_file_m = ST.
strtoi(argv[++i]);
421 store_as_csv_file_n = ST.
strtoi(argv[++i]);
422 store_as_csv_file_data.assign(argv[++i]);
424 cout <<
"-store_as_csv_file " << store_as_csv_file_fname
425 <<
" " << store_as_csv_file_m
426 <<
" " << store_as_csv_file_n
427 <<
" " << store_as_csv_file_data << endl;
430 else if (ST.
stringcmp(argv[i],
"-mv") == 0) {
432 mv_a.assign(argv[++i]);
433 mv_b.assign(argv[++i]);
435 cout <<
"-mv " << mv_a
436 <<
" " << mv_b << endl;
439 else if (ST.
stringcmp(argv[i],
"-loop") == 0) {
441 loop_start_idx = i + 5;
442 loop_variable.assign(argv[++i]);
443 loop_from = ST.
strtoi(argv[++i]);
444 loop_to = ST.
strtoi(argv[++i]);
445 loop_step = ST.
strtoi(argv[++i]);
448 for (++i; i < argc; i++) {
449 if (ST.
stringcmp(argv[i],
"-end_loop") == 0) {
455 cout <<
"-loop cannot find -end_loop" << endl;
459 cout <<
"-loop " << loop_variable
463 <<
" " << loop_start_idx
464 <<
" " << loop_end_idx;
466 for (
int j = loop_start_idx; j < loop_end_idx; j++) {
467 cout <<
" " << argv[j];
472 else if (ST.
stringcmp(argv[i],
"-plot_function") == 0) {
473 f_plot_function =
TRUE;
474 plot_function_fname.assign(argv[++i]);
476 cout <<
"-plot_function " << plot_function_fname << endl;
479 else if (ST.
stringcmp(argv[i],
"-draw_projective_curve") == 0) {
480 f_draw_projective_curve =
TRUE;
483 cout <<
"reading -draw_projective_curve" << endl;
485 i += Draw_projective_curve_description->
read_arguments(argc - (i + 1),
486 argv + i + 1, verbose_level);
488 cout <<
"i = " << i << endl;
489 cout <<
"argc = " << argc << endl;
491 cout <<
"next argument is " << argv[i] << endl;
493 cout <<
"-draw_projective_curve " << endl;
494 Draw_projective_curve_description->
print();
497 else if (ST.
stringcmp(argv[i],
"-tree_draw") == 0) {
501 cout <<
"reading -tree_draw" << endl;
504 argv + i + 1, verbose_level);
506 cout <<
"i = " << i << endl;
507 cout <<
"argc = " << argc << endl;
509 cout <<
"next argument is " << argv[i] << endl;
511 cout <<
"-tree_draw " << endl;
512 Tree_draw_options->
print();
519 cout <<
"interface_toolkit::read_arguments done" << endl;
527 if (f_create_files) {
528 cout <<
"-create_files " << endl;
529 Create_file_description->
print();
531 if (f_csv_file_select_rows) {
532 cout <<
"-csv_file_select_rows " << csv_file_select_rows_fname
533 <<
" " << csv_file_select_rows_text << endl;
535 if (f_csv_file_split_rows_modulo) {
536 cout <<
"-csv_file_split_rows_modulo " << csv_file_split_rows_modulo_fname
537 <<
" " << csv_file_split_rows_modulo_n << endl;
539 if (f_csv_file_select_cols) {
540 cout <<
"-csv_file_select_cols " << csv_file_select_cols_fname
541 <<
" " << csv_file_select_cols_text << endl;
543 if (f_csv_file_select_rows_and_cols) {
544 cout <<
"-csv_file_select_rows_and_cols "
545 << csv_file_select_rows_and_cols_fname
546 <<
" " << csv_file_select_rows_and_cols_R_text
547 <<
" " << csv_file_select_rows_and_cols_C_text
550 if (f_csv_file_sort_each_row) {
551 cout <<
"-csv_file_sort_each_row "
552 << csv_file_sort_each_row_fname
555 if (f_csv_file_join) {
556 cout <<
"-csv_file_join " << endl;
557 for (j = 0; j < csv_file_join_fname.size(); j++) {
558 cout << j <<
" : " << csv_file_join_fname[j] <<
" : " << csv_file_join_identifier[j] << endl;
561 if (f_csv_file_concatenate) {
562 cout <<
"-csv_file_concatenate " << csv_file_concatenate_fname_out << endl;
563 for (j = 0; j < csv_file_concatenate_fname_in.size(); j++) {
564 cout << j <<
" : " << csv_file_concatenate_fname_in[j] << endl;
567 if (f_csv_file_extract_column_to_txt) {
568 cout <<
"-csv_file_extract_column_to_txt " << csv_file_extract_column_to_txt_fname <<
" " << csv_file_extract_column_to_txt_col_label << endl;
570 if (f_csv_file_latex) {
571 cout <<
"-csv_file_latex " << csv_file_latex_fname << endl;
574 cout <<
"-draw_matrix " << endl;
575 Draw_bitmap_control->
print();
578 cout <<
"-reformat " << reformat_fname_in
579 <<
" " << reformat_fname_out
580 <<
" " << reformat_nb_cols << endl;
582 if (f_split_by_values) {
583 cout <<
"-split_by_values " << split_by_values_fname_in << endl;
585 if (f_store_as_csv_file) {
586 cout <<
"-store_as_csv_file " << store_as_csv_file_fname
587 <<
" " << store_as_csv_file_m
588 <<
" " << store_as_csv_file_n
589 <<
" " << store_as_csv_file_data << endl;
592 cout <<
"-mv " << mv_a
593 <<
" " << mv_b << endl;
596 cout <<
"-loop " << loop_variable
600 <<
" " << loop_start_idx
601 <<
" " << loop_end_idx;
606 if (f_plot_function) {
607 cout <<
"-plot_function " << plot_function_fname << endl;
609 if (f_draw_projective_curve) {
610 cout <<
"-draw_projective_curve " << endl;
611 Draw_projective_curve_description->
print();
614 cout <<
"-tree_draw " << endl;
615 Tree_draw_options->
print();
621 int f_v = (verbose_level >= 1);
624 cout <<
"interface_toolkit::worker" << endl;
627 if (f_create_files) {
630 Fio.
create_file(Create_file_description, verbose_level);
632 else if (f_csv_file_select_rows) {
637 csv_file_select_rows_text, verbose_level);
639 else if (f_csv_file_split_rows_modulo) {
644 csv_file_split_rows_modulo_n, verbose_level);
646 else if (f_csv_file_select_cols) {
651 csv_file_select_cols_text, verbose_level);
653 else if (f_csv_file_select_rows_and_cols) {
658 csv_file_select_rows_and_cols_fname,
659 csv_file_select_rows_and_cols_R_text, csv_file_select_rows_and_cols_C_text,
662 else if (f_csv_file_sort_each_row) {
668 else if (f_csv_file_join) {
673 csv_file_join_identifier, verbose_level);
675 else if (f_csv_file_concatenate) {
680 csv_file_concatenate_fname_out, verbose_level);
682 else if (f_csv_file_extract_column_to_txt) {
689 else if (f_csv_file_latex) {
692 int nb_lines_per_table = 25;
695 f_produce_latex_header,
699 else if (f_draw_matrix) {
702 GO.
draw_bitmap(Draw_bitmap_control, verbose_level);
706 else if (f_reformat) {
716 m2 = (len + reformat_nb_cols - 1) / reformat_nb_cols;
717 M2 =
NEW_int(m2 * reformat_nb_cols);
721 cout <<
"Written file " << reformat_fname_out <<
" of size " << Fio.
file_size(reformat_fname_out) << endl;
723 else if (f_split_by_values) {
727 int m, n, len, t, h, a;
734 cout <<
"values in the file : ";
746 fname.assign(split_by_values_fname_in);
748 sprintf(str,
"_value%d.csv", a);
750 for (h = 0; h < len; h++) {
756 cout <<
"Written file " << fname <<
" of size " << Fio.
file_size(fname) << endl;
760 else if (f_store_as_csv_file) {
764 cout <<
"f_store_as_csv_file" << endl;
765 cout <<
"data=" << store_as_csv_file_data << endl;
768 if (sz != store_as_csv_file_m * store_as_csv_file_n) {
769 cout <<
"sz != store_as_csv_file_m * store_as_csv_file_n" << endl;
770 cout <<
"sz = " << sz << endl;
771 cout <<
"store_as_csv_file_m = " << store_as_csv_file_m << endl;
772 cout <<
"store_as_csv_file_n = " << store_as_csv_file_n << endl;
778 cout <<
"Written file " << store_as_csv_file_fname <<
" of size " << Fio.
file_size(store_as_csv_file_fname) << endl;
787 cout <<
"executing " << cmd << endl;
795 argc2 = loop_end_idx - loop_start_idx;
798 for (h = loop_from; h < loop_to; h += loop_step) {
799 cout <<
"loop h=" << h <<
":" << endl;
800 argv2 =
new string[argc2];
801 for (j = loop_start_idx, s = 0; j < loop_end_idx; j++, s++) {
808 arg.assign(loop_argv[j]);
809 sprintf(str,
"%d", h);
811 variable.assign(
"%");
812 variable.append(loop_variable);
814 while (arg.find(variable) != std::string::npos) {
815 arg.replace(arg.find(variable), variable.length(), value_h);
817 argv2[s].assign(arg);
819 cout <<
"loop iteration " << h <<
", executing sequence of length " << argc2 <<
" : ";
820 for (s = 0; s < argc2; s++) {
821 cout <<
" " << argv2[s];
828 cout <<
"loop iteration " << h <<
"done" << endl;
834 else if (f_plot_function) {
850 for (x = 0; x < n; x++) {
853 M[(n - 1 - y) * n + x] = 1;
857 fname.assign(plot_function_fname);
859 fname.append(
"_graph.csv");
861 cout <<
"Written file " << fname <<
" of size " << Fio.
file_size(fname) << endl;
864 else if (f_draw_projective_curve) {
871 else if (f_tree_draw) {
874 GO.
tree_draw(Tree_draw_options, verbose_level);
880 cout <<
"interface_toolkit::worker done" << endl;
a statistical analysis of data consisting of single integers
void init(int *data, int data_length, int f_second, int verbose_level)
void print(int f_backwards)
options for drawing bitmap files
int read_arguments(int argc, std::string *argv, int verbose_level)
options for drawing a projective curve
int read_arguments(int argc, std::string *argv, int verbose_level)
a catch-all class for things related to 2D graphics
void draw_bitmap(draw_bitmap_control *C, int verbose_level)
void draw_projective_curve(draw_projective_curve_description *Descr, layered_graph_draw_options *Opt, int verbose_level)
void tree_draw(tree_draw_options *Tree_draw_options, int verbose_level)
options for drawing a tree
int read_arguments(int argc, std::string *argv, int verbose_level)
rules to create text files
int read_arguments(int argc, std::string *argv, int verbose_level)
a collection of functions related to file io
void int_matrix_write_csv(std::string &fname, int *M, int m, int n)
void do_csv_file_select_rows(std::string &fname, std::string &rows_text, int verbose_level)
void do_csv_file_sort_each_row(std::string &csv_fname, int verbose_level)
void lint_matrix_write_csv(std::string &fname, long int *M, int m, int n)
void do_csv_file_select_cols(std::string &fname, std::string &cols_text, int verbose_level)
void int_matrix_read_csv(std::string &fname, int *&M, int &m, int &n, int verbose_level)
void do_csv_file_split_rows_modulo(std::string &fname, int split_modulo, int verbose_level)
long int file_size(std::string &fname)
void do_csv_file_latex(std::string &fname, int f_produce_latex_header, int nb_lines_per_table, int verbose_level)
void do_csv_file_concatenate(std::vector< std::string > &fname, std::string &fname_out, int verbose_level)
void do_csv_file_join(std::vector< std::string > &csv_file_join_fname, std::vector< std::string > &csv_file_join_identifier, int verbose_level)
void do_csv_file_select_rows_and_cols(std::string &fname, std::string &rows_text, std::string &cols_text, int verbose_level)
void create_file(create_file_description *Descr, int verbose_level)
void do_csv_file_extract_column_to_txt(std::string &csv_fname, std::string &col_label, int verbose_level)
void parse_and_execute(int argc, std::string *Argv, int i, int verbose_level)
#define Int_vec_zero(A, B)
#define Lint_vec_scan(A, B, C)
#define Int_vec_copy(A, B, C)
orbiter_kernel_system::orbiter_session * Orbiter
global Orbiter session
user_interface::orbiter_top_level_session * The_Orbiter_top_level_session
the orbiter library for the classification of combinatorial objects