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