Searched refs:table_number_ (Results 1 – 1 of 1) sorted by relevance
95 table_number_ = (unsigned int)get_param<int>(index_params_,"table_number",12); in dataset_()112 tables_.resize(table_number_); in buildIndex()113 for (unsigned int i = 0; i < table_number_; ++i) { in buildIndex()130 save_value(stream,table_number_); in saveIndex()138 load_value(stream, table_number_); in loadIndex()146 index_params_["table_number"] = table_number_; in loadIndex()379 unsigned int table_number_; variable