Searched refs:table_splitter_options (Results 1 – 4 of 4) sorted by relevance
176 TableSplitter splitter(options_.split_constraints, options_.table_splitter_options); in Run()434 options_.table_splitter_options.preferred_densities.push_back(target_density.value()); in Action()444 options_.table_splitter_options.config_filter = filter.get(); in Action()
43 TableSplitterOptions table_splitter_options; member
91 TableSplitterOptions table_splitter_options; member
2071 if (options_.table_splitter_options.config_filter != nullptr || in Run()2072 !options_.table_splitter_options.preferred_densities.empty()) { in Run()2088 TableSplitter table_splitter(options_.split_constraints, options_.table_splitter_options); in Run()2359 options_.table_splitter_options.config_filter = filter.get(); in Action()2368 options_.table_splitter_options.preferred_densities.push_back(density.value()); in Action()