concepts.pdsketch.planners.optimistic_search_bilevel_utils.extract_bounded_variables_from_nonzero_dc

extract_bounded_variables_from_nonzero_dc(executor, state, regression_rule, default_bounded_variables, use_optimistic=False)

Extract bounded variables from nonzero indices in the preconditions of a regression rule. The function uses divide-and-conquer to find the bounded variables so it works for regression rules with a large number of variabels.

Parameters:

• executor (PDSketchExecutor)

• state (State)

• regression_rule (RegressionRule)

• default_bounded_variables (Dict[Variable, str | slice])

• use_optimistic (bool)

Return type:

Tuple[bool, List[Dict[Variable, str]]] | Tuple[bool, List[Tuple[bool, Dict[Variable, str]]], ConstraintSatisfactionProblem]