Searched refs:table_splitter_options (Results 1 – 4 of 4) sorted by relevance
190 TableSplitter splitter(options_.split_constraints, options_.table_splitter_options); in Run()423 options_.table_splitter_options.preferred_densities.push_back(target_density.value()); in Action()433 options_.table_splitter_options.config_filter = filter.get(); in Action()
41 TableSplitterOptions table_splitter_options; member
99 TableSplitterOptions table_splitter_options; member
2213 if (options_.table_splitter_options.config_filter != nullptr || in Run()2214 !options_.table_splitter_options.preferred_densities.empty()) { in Run()2230 TableSplitter table_splitter(options_.split_constraints, options_.table_splitter_options); in Run()2516 options_.table_splitter_options.config_filter = filter.get(); in Action()2525 options_.table_splitter_options.preferred_densities.push_back(density.value()); in Action()