Lines Matching refs:MaxDepth
37 const unsigned MaxDepth = 6;
230 assert(Depth <= MaxDepth && "Limit Search Depth");
331 if (Depth == MaxDepth)
709 if (Depth < MaxDepth - 1 && !KnownZero && !KnownOne) {
725 MaxDepth-1);
840 if (Depth++ == MaxDepth)
965 if (Depth++ >= MaxDepth)
991 if (Depth++ >= MaxDepth)
1304 const unsigned MaxDepth = 6;
1307 assert(Depth <= MaxDepth && "Limit Search Depth");
1335 if (Depth == MaxDepth) return false; // Limit search depth.