Lines Matching defs:r_len
3018 int r_len = m_right.length();
3019 if( n < r_len ) {
3021 } else if( n < r_len + m_left.length() ) {
3022 return m_left.get_bit( n - r_len );
3035 int r_len = m_right.length();
3036 if( n < r_len ) {
3038 } else if( n < r_len + m_left.length() ) {
3039 m_left.set_bit( n - r_len, v );
3056 int r_len = r.length();
3057 int border = r_len / SC_DIGIT_SIZE;
3063 int shift = r_len % SC_DIGIT_SIZE;
3091 int r_len = r.length();
3092 int border = r_len / SC_DIGIT_SIZE;
3099 int shift = r_len % SC_DIGIT_SIZE;
3132 int r_len = r.length();
3133 int border = r_len / SC_DIGIT_SIZE;
3139 int shift = r_len % SC_DIGIT_SIZE;
3167 int r_len = r.length();
3168 int border = r_len / SC_DIGIT_SIZE;
3175 int shift = r_len % SC_DIGIT_SIZE;