concepts.dm.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)[source]#

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:
Return type:

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