Searched refs:Satisfiable (Results 1 – 5 of 5) sorted by relevance
34 Satisfiable, enumerator50 static Result Satisfiable(llvm::DenseMap<Atom, Assignment> Solution) { in Satisfiable() function51 return Result(Status::Satisfiable, std::move(Solution)); in Satisfiable()
240 Solver::Result::Status::Satisfiable; in isSatisfiable()
56 case Solver::Result::Status::Satisfiable: in debugString()
620 return std::make_pair(Solver::Result::Satisfiable(buildSolution()), in solve()789 return Solver::Result::Satisfiable({{}}); in solve()
37 416 UNAVAIL Requested Range Not Satisfiable