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 is1
(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)