Searched refs:Unsatisfiable (Results 1 – 5 of 5) sorted by relevance
36 Unsatisfiable, enumerator55 static Result Unsatisfiable() { return Result(Status::Unsatisfiable, {}); } in Unsatisfiable() function
288 Solver::Result::Status::Unsatisfiable; in isUnsatisfiable()
48 case Solver::Result::Status::Unsatisfiable: in debugString()
485 return Solver::Result::Unsatisfiable(); in solve()
38 EXPECT_EQ(Result.getStatus(), Solver::Result::Status::Unsatisfiable); in expectUnsatisfiable()