run_until(T&&)¶
-
template<typename T>
inline void libsemigroups::Congruence::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)