Sos1BigMPromotion

class Sos1BigMPromotion

Read-only report for an entire SOS1 Big-M promotion batch.

Each cardinality constraint ID in the request has exactly one outcome: promotion to an SOS1 constraint, or rejection with a diagnostic. The promoted and rejections properties return snapshots derived from that single outcome map. Their keys are disjoint and their union is exactly the request’s cardinality constraint IDs.

Both application modes return this report type. Strict mode returns it only when all formulations were promoted. Membership, retained formulation history, and selector reconstruction remain owned by the mutated Instance.

property promoted: dict[int, int]

Read-only property.

Applied promotions: cardinality constraint ID to allocated SOS1 ID.

property rejections: dict[int, str]

Read-only property.

Rejected formulations: cardinality constraint ID to diagnostic message.

These are diagnostic strings, not exception objects. Rejected formulations were not applied.

property request_count: int

Read-only property.

Number of formulations in the original batch request.