SampledOneHotConstraint

SampledOneHotConstraint#

class SampledOneHotConstraint#

An owned sampled one-hot result. Fetched by typed ID from the owning result’s constraints collection.

__eq__(other: object, /) → bool#
feasible(*, atol: float) → dict[int, bool]#

Compare each stored violation with atol without changing activation diagnostics.

property activation_atol: float#

Read-only property.

Tolerance used when the activation diagnostics were computed.

property active_variable: dict[int, Optional[int]]#

Read-only property.

Retained selected-variable diagnostics keyed by sample ID, 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.

property violations: dict[int, float]#

Read-only property.

Nonnegative violations keyed by sample ID.