Lines Matching full:precondition
62 // Precondition: __x != nullptr.
128 // Precondition: __x != nullptr.
140 // Precondition: __x != nullptr.
152 // Precondition: __x != nullptr.
165 // Precondition: __x != nullptr.
178 // Precondition: __x != nullptr.
202 // Precondition: __x->__right_ != nullptr
222 // Precondition: __x->__left_ != nullptr
241 // Precondition: __root != nulptr && __x != nullptr.
311 // Precondition: __root != nullptr && __z != nullptr.
1168 // Precondition: size() != 0
1186 // Precondition: __cache != nullptr
