Lines Matching refs:Precondition

681     //  Precondition:  __begin_ == __end_ == __end_cap() == 0
682     //  Precondition:  __n > 0
971 //  Precondition:  __new_size > capacity()
989 //  Precondition:  __n > 0
990 //  Precondition:  size() + __n <= capacity()
1006 //  Precondition:  __n > 0
1007 //  Precondition:  size() + __n <= capacity()
2335     //  Precondition:  __begin_ == __end_ == __cap() == 0
2336     //  Precondition:  __n > 0
2457 //  Precondition:  __new_size > capacity()
2473 //  Precondition:  __n > 0
2474 //  Precondition:  size() + __n <= capacity()