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