Searched refs:nodeSets (Results 1 – 1 of 1) sorted by relevance
45 ASSERT(!nodeSets.empty()); in getTopSet()46 TParentNodeSet* topSet = nodeSets.top(); in getTopSet()50 void pushSet() { nodeSets.push(new TParentNodeSet()); } in pushSet()53 ASSERT(!nodeSets.empty()); in popSet()54 delete nodeSets.top(); in popSet()55 nodeSets.pop(); in popSet()63 ASSERT(!nodeSets.empty()); in popSetIntoNext()64 TParentNodeSet* oldTopSet = nodeSets.top(); in popSetIntoNext()65 nodeSets.pop(); in popSetIntoNext()67 if (!nodeSets.empty()) { in popSetIntoNext()[all …]