Lines Matching full:precondition
926 // Precondition: __begin_ == __end_ == __end_cap() == 0
927 // Precondition: __n > 0
960 // Precondition: __new_size > capacity()
977 // Precondition: __n > 0
978 // Precondition: size() + __n <= capacity()
997 // Precondition: __n > 0
998 // Precondition: size() + __n <= capacity()
2476 // Precondition: __begin_ == __end_ == __cap() == 0
2477 // Precondition: __n > 0
2516 // Precondition: __new_size > capacity()
2532 // Precondition: __n > 0
2533 // Precondition: size() + __n <= capacity()
