Lines Matching defs:MaxDepth
35 const unsigned MaxDepth = 6;
231 assert(Depth <= MaxDepth && "Limit Search Depth");
331 if (Depth == MaxDepth)
707 if (Depth < MaxDepth - 1 && !KnownZero && !KnownOne) {
723 MaxDepth-1);
831 if (Depth++ == MaxDepth)
925 if (Depth++ >= MaxDepth)
951 if (Depth++ >= MaxDepth)
1265 const unsigned MaxDepth = 6;
1268 assert(Depth <= MaxDepth && "Limit Search Depth");
1296 if (Depth == MaxDepth) return false; // Limit search depth.
