Sos1BigMPromotion

class Sos1BigMPromotion

Read-only result of one checked SOS1 Big-M promotion.

State reconstruction remains owned by the mutated Instance; this value reports the inserted SOS1 constraint and the retained formulation history.

__eq__(other: object, /) → bool

property fresh_selectors: dict[int, int]

Read-only property.

Verified fresh selectors keyed by their associated SOS1 member.

property members: set[int]

Read-only property.

Members of the promoted SOS1 constraint.

property relaxed_constraint_ids: set[int]

Read-only property.

Verified regular-constraint IDs moved from active to removed.

property sos1_constraint_id: int

Read-only property.

ID allocated to the promoted active SOS1 constraint.