Sos1BigMSelectorClaim

class Sos1BigMSelectorClaim

Unchecked selector-role claim for one member of an SOS1 Big-M formulation.

Construct claims with reused() or fresh(). The claim contains stable IDs only; promote_sos1_big_m() validates the current variable domains and regular-constraint rows before mutating the instance.

__eq__(other: object, /) → bool

fresh(selector: int, *, upper_link: Optional[int] = None, lower_link: Optional[int] = None) → Sos1BigMSelectorClaim

Claim a separate private Binary selector and its optional Big-M links.

A link may be omitted only when the current member domain makes that side redundant. Supplied links are always validated by the Rust Instance owner.

reused() → Sos1BigMSelectorClaim

Claim that the promoted member is itself a Binary selector.

property is_reused: bool

Read-only property.

Whether this claim reuses the member itself as its selector.

property lower_link: Optional[int]

Read-only property.

Claimed lower-link constraint ID, if supplied.

property selector: Optional[int]

Read-only property.

Claimed fresh selector ID, or None for a reused selector.

property upper_link: Optional[int]

Read-only property.

Claimed upper-link constraint ID, if supplied.