Searched refs:undo_until (Results 1 – 2 of 2) sorted by relevance
1026 void undo_until(Predicate const & pred) { in undo_until() function1062 undo_until(size_pred(m_trail, old_size)); in undo_until_size()1074 undo_until(stage_pred(m_xk, new_xk)); in undo_until_stage()1086 undo_until(level_pred(m_scope_lvl, new_lvl)); in undo_until_level()1100 undo_until(unassigned_pred(m_bvalues, b)); in undo_until_unassigned()1109 undo_until(true_pred()); in undo_until_empty()