Lines Matching defs:prunedepth
153 int depth, error, ret, prunedepth;
157 prunedepth = INT_MAX;
163 if (depth < prunedepth) {
168 prunedepth = depth;
172 if (depth < prunedepth) {
176 } else if (depth == prunedepth) {
178 prunedepth = INT_MAX;
183 if (depth < prunedepth) {
190 if (depth < prunedepth) {
197 if (depth < prunedepth) {
206 if (depth < prunedepth) {