Lines Matching defs:MaxDepth
36 const unsigned MaxDepth = 6;
232 assert(Depth <= MaxDepth && "Limit Search Depth");
332 if (Depth == MaxDepth)
718 if (Depth < MaxDepth - 1 && !KnownZero && !KnownOne) {
734 MaxDepth-1);
841 if (Depth++ == MaxDepth)
966 if (Depth++ >= MaxDepth)
992 if (Depth++ >= MaxDepth)
1306 const unsigned MaxDepth = 6;
1309 assert(Depth <= MaxDepth && "Limit Search Depth");
1337 if (Depth == MaxDepth) return false; // Limit search depth.