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