classification of combinatorial objects More...

Namespaces
namespace	invariant_relations
	classification by using an invariant relation

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

Classes
class	compute_stabilizer
	to compute the set-stabilizer More...

class	exact_cover
	exact cover problems arising with the lifting of combinatorial objects More...

class	exact_cover_arguments
	command line arguments to control the lifting via exact cover More...

class	isomorph
	classification of combinatorial objects using subobjects More...

class	isomorph_arguments
	auxiliary class for class isomorph More...

class	isomorph_global
	auxiliary class for class isomorph More...

struct	isomorph_worker_data
	auxiliary class to pass case specific data to the function isomorph_worker More...

class	orbit_of_equations
	orbit of homogeneous equations using a Schreier tree More...

class	orbit_of_sets
	orbit of sets using a Schreier tree, used in packing::make_spread_table More...

class	orbit_of_subspaces
	orbit of subspaces using a Schreier tree More...

class	representatives
	auxiliary class for class isomorph More...

class	stabilizer_orbits_and_types
	orbits of the stabilizer of the substructure and orbit types More...

class	substructure_classifier
	classification of substructures More...

class	substructure_stats_and_selection
	analyzing the substructures of a given set More...

Enumerations
enum	trace_result { found_automorphism , not_canonical , no_result_extension_not_found , no_result_fusion_node_installed , no_result_fusion_node_already_installed }

enum	find_isomorphism_result { fi_found_isomorphism , fi_not_isomorphic , fi_no_result }

Detailed Description

classification of combinatorial objects

Enumeration Type Documentation

Definition at line 92 of file classification.h.

Enumerator
found_automorphism
not_canonical
no_result_extension_not_found
no_result_fusion_node_installed
no_result_fusion_node_already_installed

Definition at line 84 of file classification.h.