Lines Matching full:precondition
78 // Precondition: __x != nullptr.
144 // Precondition: __x != nullptr.
156 // Precondition: __x != nullptr.
168 // Precondition: __x != nullptr.
193 // Precondition: __x != nullptr.
209 // Precondition: __x != nullptr.
233 // Precondition: __x->__right_ != nullptr
253 // Precondition: __x->__left_ != nullptr
272 // Precondition: __root != nulptr && __x != nullptr.
342 // Precondition: __root != nullptr && __z != nullptr.
1523 // Precondition: size() != 0
1541 // Precondition: __cache != nullptr
