Searched refs:index_num (Results 1 – 1 of 1) sorted by relevance
153 void set_index_number( size_type index_num ) { in set_index_number() argument154 my_index_number = index_num; in set_index_number()