Searched refs:table_splitter_options (Results 1 – 4 of 4) sorted by relevance
170 TableSplitter splitter(options_.split_constraints, options_.table_splitter_options); in Run()441 options_.table_splitter_options.preferred_densities.push_back(target_density.value()); in Action()451 options_.table_splitter_options.config_filter = filter.get(); in Action()
43 TableSplitterOptions table_splitter_options; member
86 TableSplitterOptions table_splitter_options; member
1907 if (options_.table_splitter_options.config_filter != nullptr || in Run()1908 !options_.table_splitter_options.preferred_densities.empty()) { in Run()1924 TableSplitter table_splitter(options_.split_constraints, options_.table_splitter_options); in Run()2179 options_.table_splitter_options.config_filter = filter.get(); in Action()2188 options_.table_splitter_options.preferred_densities.push_back(density.value()); in Action()