Searched refs:HasSolution (Results 1 – 1 of 1) sorted by relevance
139 bool HasSolution = mayHaveSolutionImpl(); in mayHaveSolution() local140 LLVM_DEBUG(dbgs() << (HasSolution ? "sat" : "unsat") << "\n"); in mayHaveSolution()141 return HasSolution; in mayHaveSolution()