To compute orbits on sets and subspaces using poset classification. More...

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

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

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

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

class	poset_classification
	the poset classification algorithm More...

class	poset_classification_control
	to control the behavior of the poset classification algorithm More...

class	poset_classification_report_options
	to control the behavior of the poset classification report function More...

class	poset_description
	description of a poset from the command line More...

class	poset_of_orbits
	the data structure for the poset of orbits in the poset classification algorithm More...

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

class	poset_with_group_action
	a poset with a group action on it More...

class	upstep_work
	auxiliary class for the poset classification algorithm to deal with flag orbits More...

Typedefs
typedef struct coset_table_entry	coset_table_entry

Functions
void	print_extension_type (ostream &ost, int t)

void	print_extension_type (std::ostream &ost, int t)

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

const char *	trace_result_as_text (trace_result r)

int	trace_result_is_no_result (trace_result r)

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

Detailed Description

To compute orbits on sets and subspaces using poset classification.

Typedef Documentation

Definition at line 1694 of file poset_classification.h.

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
	)

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
	)

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

Definition at line 94 of file extension.cpp.

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

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 )