Classes
class	orbiter::layer4_classification::poset_classification::classification_base_case
	represents a known classification with constructive recognition, to be used as base case for poset_classification More...

class	orbiter::layer4_classification::poset_classification::extension
	represents a flag in the poset classification algorithm; related to poset_orbit_node More...

class	orbiter::layer4_classification::poset_classification::orbit_based_testing
	maintains a list of test functions which define a G-invariant poset More...

class	orbiter::layer4_classification::poset_classification::poset_classification_control
	to control the behavior of the poset classification algorithm More...

class	orbiter::layer4_classification::poset_classification::poset_classification
	the poset classification algorithm More...

class	orbiter::layer4_classification::poset_classification::poset_classification_report_options
	to control the behavior of the poset classification report function More...

class	orbiter::layer4_classification::poset_classification::poset_of_orbits
	the data structure for the poset of orbits in the poset classification algorithm More...

class	orbiter::layer4_classification::poset_classification::poset_description
	description of a poset from the command line More...

class	orbiter::layer4_classification::poset_classification::poset_orbit_node
	to represent one poset orbit; related to the class poset_classification More...

class	orbiter::layer4_classification::poset_classification::poset_with_group_action
	a poset with a group action on it More...

struct	orbiter::layer4_classification::poset_classification::coset_table_entry
	a helper class for the poset classification algorithm to build up a coset transversal for the automorphism group More...

class	orbiter::layer4_classification::poset_classification::upstep_work
	auxiliary class for the poset classification algorithm to deal with flag orbits More...

Namespaces
namespace	orbiter
	the orbiter library for the classification of combinatorial objects

namespace	orbiter::layer4_classification
	classification of combinatorial objects

namespace	orbiter::layer4_classification::poset_classification
	To compute orbits on sets and subspaces using poset classification.

Macros
#define	NB_EXTENSION_TYPES 5

#define	EXTENSION_TYPE_UNPROCESSED 0

#define	EXTENSION_TYPE_EXTENSION 1

#define	EXTENSION_TYPE_FUSION 2

#define	EXTENSION_TYPE_PROCESSING 3

#define	EXTENSION_TYPE_NOT_CANONICAL 4

#define	MAX_CALLBACK 100

Typedefs
typedef struct coset_table_entry	orbiter::layer4_classification::poset_classification::coset_table_entry

Functions
void	orbiter::layer4_classification::poset_classification::print_extension_type (std::ostream &ost, int t)

void	orbiter::layer4_classification::poset_classification::poset_classification_control_preferred_choice_function (int pt, int &pt_pref, groups::schreier Sch, void data, int data2, int verbose_level)

const char *	orbiter::layer4_classification::poset_classification::trace_result_as_text (trace_result r)

int	orbiter::layer4_classification::poset_classification::trace_result_is_no_result (trace_result r)

Macro Definition Documentation

◆ EXTENSION_TYPE_EXTENSION

#define EXTENSION_TYPE_EXTENSION 1

Definition at line 68 of file poset_classification.h.

◆ EXTENSION_TYPE_FUSION

#define EXTENSION_TYPE_FUSION 2

Definition at line 69 of file poset_classification.h.

◆ EXTENSION_TYPE_NOT_CANONICAL

#define EXTENSION_TYPE_NOT_CANONICAL 4

Definition at line 71 of file poset_classification.h.

◆ EXTENSION_TYPE_PROCESSING

#define EXTENSION_TYPE_PROCESSING 3

Definition at line 70 of file poset_classification.h.

◆ EXTENSION_TYPE_UNPROCESSED

#define EXTENSION_TYPE_UNPROCESSED 0

Definition at line 67 of file poset_classification.h.

◆ MAX_CALLBACK

#define MAX_CALLBACK 100

Definition at line 127 of file poset_classification.h.

◆ NB_EXTENSION_TYPES

#define NB_EXTENSION_TYPES 5

Definition at line 65 of file poset_classification.h.

Classes

Namespaces

Macros

Typedefs

Functions