concepts.dm.pdsketch.csp_solvers.dpll_sampling.dpll_find_gen_variable_combined#

dpll_find_gen_variable_combined(executor, csp, constraints, assignments)[source]#

Combine the generator matching in the following order:

  1. Use _find_gen_variable() to find the generator with the highest priority.

  2. Use _find_gen_variable_advanced() to find the generator with the highest priority, using star-matching.

  3. Use _find_typegen_variable() to find the generator with the highest priority, using type-matching.

Parameters:
Return type:

List[Tuple[Constraint, Generator, List[TensorValue | None] | None, List[OptimisticValue | None] | None]] | None