Member Types

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

Typedefs
using	native_word_type = Word
	Type of the words in the relations of the presentation stored in a Congruence instance.

Typedef Documentation

native_word_type

template<typename Word>

using native_word_type = Word

The template parameter Word, which is the type of the words in the relations of the presentation stored in a Congruence instance.