Refactor Constraints

[Scienfitz]

Thread summarizing planned changes to Constraints (see subissues)

• Before starting the actual refactor, draft stubs for all constraints to align on interfaces (added by @AdrianSosic): see here (continuously updated)

[Scienfitz]

Proposal Overview for Constraints After the Total Refactoring

Constraint	Before — constructor interface	After — constructor interface	parameters property returns
ContinuousLinearConstraint	(parameters, operator, coefficients, rhs, interpoint)	Unchanged name & semantics; parameters property-backed	its parameters
DiscreteLinearConstraint — replaces DiscreteSumConstraint	DiscreteSumConstraint(parameters, condition, coefficients)	(parameters, coefficients, operator, rhs, exclude: bool) — interface equivalent to ContinuousLinearConstraint; builds a ThresholdCondition internally; exclude=False keeps rows satisfying the (in)equality, exclude=True keeps the complement	its parameters
DiscreteProductConstraint	(parameters, condition)	(parameters, operator, rhs, exclude: bool) — aligned with linear; builds a ThresholdCondition internally; exclude=False keeps rows satisfying the (in)equality, exclude=True keeps the complement	its parameters
DiscreteFilteringConstraint — replaces DiscreteExcludeConstraint	DiscreteExcludeConstraint(parameters, conditions, combiner)	(conditions, combiner, exclude: bool) — exclude=False keeps matching rows (inclusion-by-default); exclude=True keeps non-matching rows (old DiscreteExcludeConstraint behaviour)	params across conditions
DiscreteDegeneracyConstraint — replaces DiscreteNoLabelDuplicatesConstraint + DiscreteLinkedParametersConstraint	two separate classes	(parameters, exclude: bool) — exclude=False → keep only all-identical rows (old LinkedParameters); exclude=True → keep only all-distinct rows (old NoLabelDuplicates). Applies to all discrete parameters (not numerical_only); exact exp-rep equality, no tolerance	its parameters
DiscreteDependenciesConstraint	(parameters, conditions: list[Condition], affected_parameters: list[list[str]]) + internal permutation_invariant	(#670) parameter: str (single), condition: Condition, affected_parameters: list[str], exclude: bool; drop permutation_invariant; multiple allowed (no-overlap validation); converts to DependencySymmetry via to_symmetry()	{parameter} ∪ affected_parameters
DiscretePermutationInvarianceConstraint	(parameters, dependencies: DiscreteDependenciesConstraint | None)	(#664) parameters: list[str] + copermuted_groups: list[list[str]] + exclude: bool; drop dependencies	parameters ∪ all copermuted_groups
DiscreteCustomConstraint	(parameters, validator)	Unchanged; parameters property-backed	its parameters
DiscreteCardinalityConstraint	(parameters, min_cardinality, max_cardinality)	(parameters, min_cardinality, max_cardinality, exclude: bool); parameters property-backed	its parameters
ContinuousCardinalityConstraint	(parameters, min_cardinality, max_cardinality, relative_threshold)	Unchanged; parameters property-backed	its parameters
DiscreteBatchConstraint	(parameters) with len==1 validator	parameter: str (singular). Explicitly excluded from search-space-creation filtering (replaces old eval_during_creation=False); no exclude flag (not a filtering constraint)	{parameter}