Searched refs:isSatisfiable (Results 1 – 2 of 2) sorted by relevance
242 bool isSatisfiable(llvm::SetVector<const Formula *> Constraints) { in isSatisfiable() function
202 return isSatisfiable(std::move(Constraints)); in flowConditionAllows()