concepts.pdsketch.crow.regression_utils.mark_constraint_group_solver#
- mark_constraint_group_solver(executor, state, bounded_variables, group)[source]#
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.