Searched refs:WorkLimit (Results 1 – 1 of 1) sorted by relevance
47 explicit WatchedLiteralsSolver(std::int64_t WorkLimit) in WatchedLiteralsSolver() argument48 : MaxIterations(WorkLimit) {} in WatchedLiteralsSolver()