Searched refs:SatisfactionStack (Results 1 – 1 of 1) sorted by relevance
7470 SatisfactionStack; variable7476 SatisfactionStack.emplace_back(Can, ID); in PushSatisfactionStackEntry()7479 void PopSatisfactionStackEntry() { SatisfactionStack.pop_back(); } in PopSatisfactionStackEntry()7484 return llvm::find(SatisfactionStack, in SatisfactionStackContains()7486 SatisfactionStack.end(); in SatisfactionStackContains()7509 SatisfactionStack.swap(NewSS); in SwapSatisfactionStack()