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