Searched refs:remove_tables_ (Results 1 – 2 of 2) sorted by relevance
51 remove_tables_ = *remove_tables; in SetRemoveTables()63 if (!remove_tables_.empty()) { in Subset()66 remove_tables_.begin(), remove_tables_.end(), in Subset()
65 IntegerSet remove_tables_; variable