Lines Matching refs:Depth
102 std::string debugString(const BoolValue &B, size_t Depth = 0) { in debugString() argument
111 auto L = debugString(C.getLeftSubValue(), Depth + 1); in debugString()
112 auto R = debugString(C.getRightSubValue(), Depth + 1); in debugString()
118 auto L = debugString(D.getLeftSubValue(), Depth + 1); in debugString()
119 auto R = debugString(D.getRightSubValue(), Depth + 1); in debugString()
125 S = formatv("(not\n{0})", debugString(N.getSubVal(), Depth + 1)); in debugString()
130 auto L = debugString(IV.getLeftSubValue(), Depth + 1); in debugString()
131 auto R = debugString(IV.getRightSubValue(), Depth + 1); in debugString()
137 auto L = debugString(BV.getLeftSubValue(), Depth + 1); in debugString()
138 auto R = debugString(BV.getRightSubValue(), Depth + 1); in debugString()
145 auto Indent = Depth * 4; in debugString()