Lines Matching refs:Depth
73 std::string debugString(const BoolValue &B, size_t Depth = 0) { in debugString() argument
82 auto L = debugString(C.getLeftSubValue(), Depth + 1); in debugString()
83 auto R = debugString(C.getRightSubValue(), Depth + 1); in debugString()
89 auto L = debugString(D.getLeftSubValue(), Depth + 1); in debugString()
90 auto R = debugString(D.getRightSubValue(), Depth + 1); in debugString()
96 S = formatv("(not\n{0})", debugString(N.getSubVal(), Depth + 1)); in debugString()
101 auto L = debugString(IV.getLeftSubValue(), Depth + 1); in debugString()
102 auto R = debugString(IV.getRightSubValue(), Depth + 1); in debugString()
108 auto L = debugString(BV.getLeftSubValue(), Depth + 1); in debugString()
109 auto R = debugString(BV.getRightSubValue(), Depth + 1); in debugString()
116 auto Indent = Depth * 4; in debugString()