Lines Matching full:precondition
76 // Precondition: __x != nullptr.
142 // Precondition: __x != nullptr.
154 // Precondition: __x != nullptr.
166 // Precondition: __x != nullptr.
191 // Precondition: __x != nullptr.
207 // Precondition: __x != nullptr.
231 // Precondition: __x->__right_ != nullptr
251 // Precondition: __x->__left_ != nullptr
270 // Precondition: __root != nulptr && __x != nullptr.
340 // Precondition: __root != nullptr && __z != nullptr.
1521 // Precondition: size() != 0
1539 // Precondition: __cache != nullptr
