concepts.dm.crow.csp_solver.dpll_sampling.dpll_apply_assignments_with_simulation

dpll_apply_assignments_with_simulation(executor, constraints, assignments, simulation_interface, actions, verbose=False)

Parameters:

• executor (CrowExecutor)

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

• assignments (Dict[int, Assignment])

• simulation_interface (CrowSimulationControllerInterface)

• actions (Sequence[CrowControllerApplier])

• verbose (bool)

Return type:

Tuple[List[Constraint | GroupConstraint | None], Dict[int, Assignment]]