Searched refs:Satisfiable (Results 1 – 4 of 4) sorted by relevance
32 Satisfiable, enumerator49 Satisfiable(llvm::DenseMap<AtomicBoolValue *, Assignment> Solution) { in Satisfiable() function50 return Result(Status::Satisfiable, std::move(Solution)); in Satisfiable()
542 return Solver::Result::Satisfiable(buildSolution()); in solve()711 return Vals.empty() ? Solver::Result::Satisfiable({{}}) in solve()
46 case Solver::Result::Status::Satisfiable: in debugString()
44 EXPECT_EQ(Result.getStatus(), Solver::Result::Status::Satisfiable); in expectSatisfiable()