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:
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)
constraints (List[Constraint | GroupConstraint | None])
assignments (Dict[int, Assignment])
- Return type:
List[Tuple[Constraint, Generator, List[TensorValue | None] | None, List[OptimisticValue | None] | None]] | None