Searched refs:saved_state_alt (Results 1 – 2 of 2) sorted by relevance
338 saved_state_alt = 4, enumerator
321 (void) new (pmp)saved_position<BidiIterator>(ps, position, saved_state_alt); in push_alt()