Lines Matching refs:m_num
71 return m_num.get_bit( m_idx );
77 m_num.set_bit( m_idx, high );
103 m_num.dump( os );
118 return m_num.get_bit( m_idx );
124 m_num.set_bit( m_idx, high );
150 m_num.dump( os );
166 return m_num.get_slice( m_from, m_to, m_bv );
172 return m_num.set_slice( m_from, m_to, m_bv );
198 m_num.dump( os );
215 return m_num.get_slice( m_from, m_to, m_bv );
221 return m_num.set_slice( m_from, m_to, m_bv );
247 m_num.dump( os );