Searched refs:SATCheckStatus (Results 1 – 1 of 1) sorted by relevance
63 Status getStatus() const { return SATCheckStatus; } in getStatus()74 enum Status SATCheckStatus, in Result()76 : SATCheckStatus(SATCheckStatus), Solution(std::move(Solution)) {} in Result()78 Status SATCheckStatus; member