This page contains the documentation of the public member types of a ToddCoxeter instance.

Classes
struct	ToddCoxeter< Word >::options
	Struct containing various options that can be used to control the behaviour of Todd-Coxeter. More...

Typedefs
using	index_type
	The type of the index of a class.

using	label_type
	The type of the edge-labels in the word graph.

using	native_word_type = Word
	Type of the letters in the relations of the presentation stored in a ToddCoxeter instance.

using	node_type
	The type of the nodes in the word graph.

using	word_graph_type
	The type of the underlying WordGraph.

Typedef Documentation

◆ index_type

template<typename Word>

using index_type

The type of the indices of classes in the congruence represented by a ToddCoxeter instance.

This alias is the same as node_type, and is included to because if a ToddCoxeter instance is created from a Presentation, and that presentation does not contains_empty_word, then there is always at least one more node (the node representing the empty word) in the current_word_graph than there are classes in the congruence. This alias is used to delineate the cases when we are referring to a node or a class index.