run_until(T&&)

template<typename T>
inline void libsemigroups::CongruenceByPairsHelper::run_until(T &&func)

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

Parameters

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

Returns

(None)