16namespace layer5_applications {
43 int f_trace_record_prefix, std::string &trace_record_prefix,
44 int iso,
int f,
int po,
int so,
int N)
49 const char *column_label[] = {
65 for (i = 0; i < N; i++) {
66 M[i * w + 0] = T[i].
coset;
68 M[i * w + 2] = T[i].
f_skip;
70 M[i * w + 4] = T[i].
nb_sol;
71 M[i * w + 5] = T[i].
go;
72 M[i * w + 6] = T[i].
pos;
73 M[i * w + 7] = T[i].
so;
75 M[i * w + 9] = T[i].
f2;
80 sprintf(str,
"trace_record_%03d_f%05d_po%d_so%d.csv",
84 if (f_trace_record_prefix) {
85 fname.assign(trace_record_prefix);
92 cout <<
"Written file " << fname <<
" of size " << Fio.
file_size(fname) << endl;
a collection of functions related to file io
long int file_size(std::string &fname)
void lint_matrix_write_csv_with_labels(std::string &fname, long int *M, int m, int n, const char **column_label)
to record the result of isomorphism testing
void save_trace_record(trace_record *T, int f_trace_record_prefix, std::string &trace_record_prefix, int iso, int f, int po, int so, int N)
the orbiter library for the classification of combinatorial objects