run_until(T&&)

template<typename T>
void libsemigroups::congruence::ToddCoxeter::run_until(T &&func)

Run until a nullary predicate returns true or Runner::finished.

Return

(None)

Parameters

• func: a callable type that will exist for at least until this function returns.