concepts.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:

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

Parameters:

executor (PDSketchExecutor)
csp (ConstraintSatisfactionProblem)
constraints (List[Constraint | GroupConstraint | None])
assignments (Dict[int, Assignment])

Return type:

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