Searched refs:BranchesExplored (Results 1 – 1 of 1) sorted by relevance
312 uint64_t BranchesExplored = 0; member in __anon114cba190111::PipelineSolver581 if (MaxBranchesExplored > 0 && BranchesExplored >= MaxBranchesExplored) in checkOptimal()680 ++BranchesExplored; in solveExact()