Aliases

using libsemigroups::CongruenceByPairs::EqualTo = typename froidure_pin_type::EqualTo

No doc.

using libsemigroups::CongruenceByPairs::Hash = typename froidure_pin_type::Hash

No doc.

using libsemigroups::CongruenceByPairs::Product = typename froidure_pin_type::Product

No doc.

using libsemigroups::CongruenceByPairs::class_index_type = size_t

Type for indices of congruence class indices.

using libsemigroups::CongruenceByPairs::const_iterator = std::vector<relation_type>::const_iterator

Type for a const_iterator to the generating pairs.

using libsemigroups::CongruenceByPairs::const_reference = typename froidure_pin_type::const_reference

The type of a const reference to an element_type.

using libsemigroups::CongruenceByPairs::element_type = typename froidure_pin_type::element_type

The type of elements over which an instance of CongruenceByPairs is defined.

using libsemigroups::CongruenceByPairs::froidure_pin_type = TFroidurePinType

No doc.

using libsemigroups::CongruenceByPairs::non_trivial_class_iterator = non_trivial_classes_type::const_iterator

Type for a const_iterator to non-trivial classes.

See also

cbegin_ntc and cend_ntc.

using libsemigroups::CongruenceByPairs::non_trivial_classes_type = std::vector<std::vector<word_type>>

Type for non-trivial classes.

See also

cbegin_ntc and cend_ntc.

using libsemigroups::CongruenceByPairs::reference = typename froidure_pin_type::reference

The type of a reference to an element_type.

using libsemigroups::CongruenceByPairs::state_type = typename froidure_pin_type::state_type

No doc.