Searched refs:SATCheckStatus (Results 1 – 1 of 1) sorted by relevance
64 Status getStatus() const { return SATCheckStatus; } in getStatus()73 Result(Status SATCheckStatus, in Result()75 : SATCheckStatus(SATCheckStatus), Solution(std::move(Solution)) {} in Result()77 Status SATCheckStatus; member