EvaluatedSos1Constraint

EvaluatedSos1Constraint#

class EvaluatedSos1Constraint#

An owned evaluated SOS1 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 description: Optional[str]#

Read-only property.

Modeling description, if supplied.

property name: Optional[str]#

Read-only property.

Modeling name, if supplied.

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.