Lines Matching full:precondition
915 // Precondition: __begin_ == __end_ == __end_cap() == 0
916 // Precondition: __n > 0
950 // Precondition: __new_size > capacity()
967 // Precondition: __n > 0
968 // Precondition: size() + __n <= capacity()
987 // Precondition: __n > 0
988 // Precondition: size() + __n <= capacity()
2505 // Precondition: __begin_ == __end_ == __cap() == 0
2506 // Precondition: __n > 0
2545 // Precondition: __new_size > capacity()
2561 // Precondition: __n > 0
2562 // Precondition: size() + __n <= capacity()
