Searched refs:getMaxDepth (Results 1 – 2 of 2) sorted by relevance
415 unsigned getMaxDepth() { return MaxDepth; } in getMaxDepth() function
1447 if (NS.getMaxDepth() > MII) in checkNodeSets()