Searched refs:table_splitter_options (Results 1 – 2 of 2) sorted by relevance
49 TableSplitterOptions table_splitter_options; member146 TableSplitter splitter(options_.split_constraints, options_.table_splitter_options); in Run()349 options.table_splitter_options.preferred_densities.push_back(target_density.value()); in Optimize()359 options.table_splitter_options.config_filter = filter.get(); in Optimize()
111 TableSplitterOptions table_splitter_options; member1606 if (options_.table_splitter_options.config_filter != nullptr || in Run()1607 !options_.table_splitter_options.preferred_densities.empty()) { in Run()1617 TableSplitter table_splitter(options_.split_constraints, options_.table_splitter_options); in Run()2070 options.table_splitter_options.config_filter = filter.get(); in Link()2079 options.table_splitter_options.preferred_densities.push_back(density.value()); in Link()