run_until(T&&)

template<typename T>
void libsemigroups::CongruenceByPairsHelper::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.