Searched refs:BranchesExplored (Results 1 – 1 of 1) sorted by relevance
307 uint64_t BranchesExplored = 0; member in __anon5d856e630111::PipelineSolver576 if (MaxBranchesExplored > 0 && BranchesExplored >= MaxBranchesExplored) in checkOptimal()675 ++BranchesExplored; in solveExact()