Lines Matching full:maxdepth
43 const unsigned MaxDepth = 6;
763 if (Depth == MaxDepth)
1447 if (Depth < MaxDepth - 1 && !KnownZero && !KnownOne) {
1463 MaxDepth - 1, Q);
1615 assert(Depth <= MaxDepth && "Limit Search Depth");
1663 if (Depth == MaxDepth)
1742 if (Depth++ == MaxDepth)
1864 if (Depth++ >= MaxDepth)
1922 if (Depth++ >= MaxDepth)
2372 const unsigned MaxDepth = 6;
2375 assert(Depth <= MaxDepth && "Limit Search Depth");
2403 if (Depth == MaxDepth) return false; // Limit search depth.
