jijzept_solver.sample_entries_utils.option_builder
Module Contents
- class OptionBuilder
Class responsible for option building and validation
- build_options(options, time_limit_sec, num_threads, id_translator)
- Parameters:
options (Optional[Union[jijzept_solver.solver_parameters.JijZeptSolverOption, jijzept_solver.solver_parameters.SolverOptions]])
time_limit_sec (Optional[float])
num_threads (Optional[int])
id_translator (jijzept_solver.core.IdTranslator)
- Return type:
- inject_cancel_token(options, cancel_token)
Inject cancel_token into options that support it.
- Parameters:
options (jijzept_solver.solver_parameters.JijZeptSolverOption) – The original JijZeptSolverOption
cancel_token (jijzept_solver.solver_parameters.CancelToken) – The CancelToken to inject
- Returns:
A new JijZeptSolverOption with cancel_token injected into applicable options.
- Return type: