Statistics

This page contains information about the member functions of the ToddCoxeter class for enumeration statistics.

inline Stats const &libsemigroups::congruence::ToddCoxeter::stats() const noexcept

Returns a const reference to a statistics object.

This object contains a number of statistics related to the enumeration.

Parameters

(None)

Returns

A const reference to Stats.

std::string libsemigroups::congruence::ToddCoxeter::stats_string() const

Returns a string containing a tabularized summary of the statistics.

This function returns a string containing a tabularized summary of the enumeration statistics.

Parameters

(None)

Returns

A std::string.