EvaluatedOneHotConstraint#
- class EvaluatedOneHotConstraint#
An owned evaluated one-hot result. Fetched by typed ID from the owning result’s constraints collection.
- __eq__(other: object, /) bool#
- is_feasible(*, atol: float) bool#
Compare the stored violation with atol without changing activation diagnostics.
- violation() float#
Nonnegative violation retained by the evaluation.
- property activation_atol: float#
Read-only property.
Tolerance used when the activation diagnostic was computed.
- property active_variable: Optional[int]#
Read-only property.
Retained selected-variable diagnostic, using activation_atol.
- property parameters: dict[str, str]#
Read-only property.
Modeling parameters.
- property provenance: list[Provenance]#
Read-only property.
Transformation lineage, preserving the source constraint family.
- property removed_reason: Optional[str]#
Read-only property.
Reason this constraint was removed before evaluation, or None.
- property removed_reason_parameters: dict[str, str]#
Read-only property.
Parameters of the removal reason; empty for an active constraint.
- property subscripts: list[int]#
Read-only property.
Modeling subscripts.
- property used_decision_variable_ids: set[int]#
Read-only property.
IDs of decision variables used to evaluate this constraint.
- property variables: set[int]#
Read-only property.
Member decision variable IDs.