orbiter::layer4_classification::invariant_relations Namespace Reference

classification by using an invariant relation More...

Classes
class	classification_step
	a single step classification of combinatorial objects More...
class	flag_orbit_node
	to represent a flag orbit; related to the class flag_orbits More...
class	flag_orbits
	stores the set of flag orbits; related to the class classification_step More...
class	orbit_node
	to encode one group orbit, associated to the class classification_step More...

Detailed Description

classification by using an invariant relation