19namespace layer4_classification {
20namespace invariant_relations {
43 long int *Rep,
void *extra_data,
int verbose_level)
45 int f_v = (verbose_level >= 1);
48 cout <<
"orbit_node::init "
65 int f_v = (verbose_level >= 1);
68 cout <<
"orbit_node::write_file" << endl;
73 cout <<
"orbit_node::write_file finished" << endl;
79 int f_v = (verbose_level >= 1);
82 cout <<
"orbit_node::read_file" << endl;
88 cout <<
"orbit_node::read_file finished" << endl;
a strong generating set for a permutation group with respect to a fixed action
void read_from_file_binary(actions::action *A, std::ifstream &fp, int verbose_level)
void write_to_file_binary(std::ofstream &fp, int verbose_level)
a single step classification of combinatorial objects
void read_file(std::ifstream &fp, int verbose_level)
groups::strong_generators * gens
void init(classification_step *C, int orbit_index, groups::strong_generators *gens, long int *Rep, void *extra_data, int verbose_level)
void write_file(std::ofstream &fp, int verbose_level)
#define Lint_vec_copy(A, B, C)
#define Lint_vec_print(A, B, C)
the orbiter library for the classification of combinatorial objects