171     llvm::SetVector<const Formula *> Constraints) {  in querySolver()  argument
172   return S->solve(Constraints.getArrayRef());  in querySolver()
185   llvm::SetVector<const Formula *> Constraints;  in flowConditionImplies()  local
186   Constraints.insert(&arena().makeAtomRef(Token));  in flowConditionImplies()
187   Constraints.insert(&arena().makeNot(F));  in flowConditionImplies()
188   addTransitiveFlowConditionConstraints(Token, Constraints);  in flowConditionImplies()
189   return isUnsatisfiable(std::move(Constraints));  in flowConditionImplies()
197   llvm::SetVector<const Formula *> Constraints;  in flowConditionAllows()  local
198   Constraints.insert(&arena().makeAtomRef(Token));  in flowConditionAllows()
199   Constraints.insert(&F);  in flowConditionAllows()
200   addTransitiveFlowConditionConstraints(Token, Constraints);  in flowConditionAllows()
201   return isSatisfiable(std::move(Constraints));  in flowConditionAllows()
206   llvm::SetVector<const Formula *> Constraints;  in equivalentFormulas()  local
207   Constraints.insert(&arena().makeNot(arena().makeEquals(Val1, Val2)));  in equivalentFormulas()
208   return isUnsatisfiable(std::move(Constraints));  in equivalentFormulas()
212     Atom Token, llvm::SetVector<const Formula *> &Constraints) {  in addTransitiveFlowConditionConstraints()  argument
217     Constraints.insert(Invariant);  in addTransitiveFlowConditionConstraints()
227       Constraints.insert(&arena().makeAtomRef(Token));  in addTransitiveFlowConditionConstraints()
231       Constraints.insert(&arena().makeEquals(arena().makeAtomRef(Token),  in addTransitiveFlowConditionConstraints()
255   llvm::SetVector<const Formula *> Constraints;  in dumpFlowCondition()  local
256   Constraints.insert(&arena().makeAtomRef(Token));  in dumpFlowCondition()
257   addTransitiveFlowConditionConstraints(Token, Constraints);  in dumpFlowCondition()
261   llvm::SetVector<const Formula *> OriginalConstraints = Constraints;  in dumpFlowCondition()
262   simplifyConstraints(Constraints, arena(), &Info);  in dumpFlowCondition()
263   if (!Constraints.empty()) {  in dumpFlowCondition()
265     for (const auto *Constraint : Constraints) {  in dumpFlowCondition()