batch_size(size_t)ΒΆ

FroidurePinBase &libsemigroups::FroidurePinBase::batch_size(size_t batch_size)

Set a new value for the batch size.

The batch size is the number of new elements to be found by any call to FroidurePin::run. A call to run returns between 0 and approximately the batch size. This is used by, for example, FroidurePin::position so that it is possible to find the position of an element without fully enumerating the semigroup.

The default value of the batch size is 8192.

Return

A reference to this.

Exceptions

This function is noexcept and is guaranteed never to throw.

Complexity

Constant.

See

batch_size().

Parameters

  • batch_size: the new value for the batch size.