Searched refs:SatisfactionStack (Results 1 – 1 of 1) sorted by relevance
7286 SatisfactionStack; variable7292 SatisfactionStack.emplace_back(Can, ID); in PushSatisfactionStackEntry()7295 void PopSatisfactionStackEntry() { SatisfactionStack.pop_back(); } in PopSatisfactionStackEntry()7300 return llvm::find(SatisfactionStack, in SatisfactionStackContains()7302 SatisfactionStack.end(); in SatisfactionStackContains()7325 SatisfactionStack.swap(NewSS); in SwapSatisfactionStack()