Lines Matching defs:deleted_knots
6 static std::list<void*> deleted_knots;
9 if (std::find(deleted_knots.begin(), deleted_knots.end(), knot) == deleted_knots.end()) {
10 deleted_knots.push_back(knot);
15 std::list<void*>::iterator it = std::find(deleted_knots.begin(), deleted_knots.end(), knot);
16 if (it != deleted_knots.end()) {
17 deleted_knots.erase(it);
22 if (std::find(deleted_knots.begin(), deleted_knots.end(), knot) != deleted_knots.end()) {