Lines Matching full:precondition
927 // Precondition: __begin_ == __end_ == __end_cap() == 0
928 // Precondition: __n > 0
962 // Precondition: __new_size > capacity()
979 // Precondition: __n > 0
980 // Precondition: size() + __n <= capacity()
999 // Precondition: __n > 0
1000 // Precondition: size() + __n <= capacity()
2508 // Precondition: __begin_ == __end_ == __cap() == 0
2509 // Precondition: __n > 0
2548 // Precondition: __new_size > capacity()
2564 // Precondition: __n > 0
2565 // Precondition: size() + __n <= capacity()
