concepts.pdsketch.crow.regression_utils.mark_constraint_group_solver

mark_constraint_group_solver(executor, state, bounded_variables, group)

Mark the solver for the current state.

Parameters:

• executor (PDSketchExecutor) – the executor.

• state (State) – the current state.

• bounded_variables (Dict[Variable, Any]) – the already bounded variables.

• group (GroupConstraint) – the current group constraint.