Container-like

This page contains information about the member functions of the ToddCoxeter class that are similar to stl containers.

bool libsemigroups::congruence::ToddCoxeter::empty() const

Check if there are no relations or generating pairs.

Returns true if there are no relations or generating pairs in the ToddCoxeter instance, and the number of active cosets is 1 (the minimum possible).

Parameters

(None)

Throws

(None) – This function guarantees not to throw a LibsemigroupsException.

Returns

A value of type bool.

void libsemigroups::congruence::ToddCoxeter::reserve(size_t val)

Reserve the specified capacity in the coset table.

Reserves the capacity specified by the argument in the data structures for cosets used in a ToddCoxeter instance.

Parameters

val – the capacity to reserve.

Throws

(None) – This function guarantees not to throw a LibsemigroupsException.

Returns

(None)

void libsemigroups::congruence::ToddCoxeter::shrink_to_fit()

Release unused memory if finished.

Release all memory used to store free cosets, and any other unnecessary data if the enumeration is finished. Otherwise, it does nothing.

Parameters

(None)

Throws

(None) – This function guarantees not to throw a LibsemigroupsException.

Returns

(None)