Congruence

This page contains links documentation related to the class template Congruence.

Helper functions for the class template Congruence can be found in the namespaces congruence_common and congruence. At present the helper functions in these two namespaces are identical, because there are no helper functions that only apply to the Congruence class template.

Topics
	The Congruence class
	Class for running Kambites, KnuthBendix, and ToddCoxeter in parallel.
	Congruence helper functions
	Helper functions for the Congruence class template.
	to<Congruence>
	Convert to Congruence instance.

Functions
template<typename Word>
std::string	to_human_readable_repr (Congruence< Word > const &c)
	Return a human readable representation of a Congruence object.

Function Documentation

to_human_readable_repr()

template<typename Word>

std::string to_human_readable_repr

(

Congruence< Word > const &

c

)

Defined in cong-class.hpp.

This function returns a human readable representation of a Congruence object.

Parameters

c	the Congruence object.

Returns

A std::string containing the representation.

Exceptions

This function guarantees not to throw a LibsemigroupsException.