Lines Matching refs:Result
30 struct Result {
50 static Result Satisfiable(llvm::DenseMap<Atom, Assignment> Solution) {
51 return Result(Status::Satisfiable, std::move(Solution));
56 static Result Unsatisfiable() { return Result(Status::Unsatisfiable, {}); }
60 static Result TimedOut() { return Result(Status::TimedOut, {}); }
73 Result(Status SATCheckStatus,
89 virtual Result solve(llvm::ArrayRef<const Formula *> Vals) = 0;
92 llvm::raw_ostream &operator<<(llvm::raw_ostream &, const Solver::Result &);
93 llvm::raw_ostream &operator<<(llvm::raw_ostream &, Solver::Result::Assignment);