Searched refs:isUnsatisfiable (Results 1 – 2 of 2) sorted by relevance
190 return isUnsatisfiable(std::move(Constraints)); in flowConditionImplies()209 return isUnsatisfiable(std::move(Constraints)); in equivalentFormulas()
249 bool isUnsatisfiable(llvm::SetVector<const Formula *> Constraints) { in isUnsatisfiable() function