concepts.dm.crow.csp_solver.dpll_sampling.dpll_find_gen_variable_combined

dpll_find_gen_variable_combined(executor, csp, constraints, assignments)

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:

• executor (CrowExecutor)

• csp (ConstraintSatisfactionProblem)

• constraints (List[Constraint | GroupConstraint | None])

• assignments (Dict[int, Assignment])

Return type:

List[Tuple[Constraint | GroupConstraint, CrowDirectedGenerator, List[TensorValue | None] | None, List[OptimisticValue | None] | None]] | None