Lines Matching refs:level
48 public int depth(Node node,int level){
49 int max = level;
51 max = Math.max(max,depth(child,level+1));
55 public void recordNodes(Node node,int level) {
56 recordNode(node,level);
59 recordNodes(child,level+1);
65 public void recordNode(Node node,int level){
68 assert(level == 0);
72 tryCount[level]++;
76 failCount[level]++;
80 succCount[level-1]++;