14namespace layer4_classification {
15namespace poset_classification {
49 extension::type = type;
59 extension::orbit_len = orbit_len;
69 extension::data = data;
80 extension::data1 = data1;
90 extension::data2 = data2;
97 ost <<
" unprocessed";
106 ost <<
" processing";
109 ost <<
" not canonical";
void set_data1(int data1)
void set_data2(int data1)
void set_orbit_len(int orbit_len)
void print_extension_type(ostream &ost, int t)
the orbiter library for the classification of combinatorial objects
#define EXTENSION_TYPE_PROCESSING
#define EXTENSION_TYPE_FUSION
#define EXTENSION_TYPE_UNPROCESSED
#define EXTENSION_TYPE_NOT_CANONICAL
#define EXTENSION_TYPE_EXTENSION