Member functions

inline Sims1Stats &libsemigroups::Sims1Stats::operator+=(Sims1Stats const &that)

Combine two Sims1Stats objects.

This function changes this Sims1Stats in-place so that max_pending is the maximum of this->max_pending and that.max_pending; and total_pending is the sum of this->total_pending and that.total_pending.