Searched refs:ConstraintsSet (Results 1 – 1 of 1) sorted by relevance
208 llvm::DenseSet<BoolValue *> ConstraintsSet(Constraints.begin(), in CheckSAT() local210 return WatchedLiteralsSolver().solve(std::move(ConstraintsSet)); in CheckSAT()