IntegerSlackPreparation

class IntegerSlackPreparation

Integer-slack Preparation for active regular inequalities.

Preparation first attempts exact conversion to equality using max_integer_range and atol. slack_upper_bound=None requires the constraint to become an equality or be removed as trivially satisfied, so :class:ExactIntegerSlackError is propagated. An integer value permits the constraint to remain an inequality: only that signal selects the inequality-preserving owner operation with this upper bound. The latter is not an approximation of the original feasible set. Every other owner error is propagated unchanged.

__eq__(other: object) → bool

__new__(max_integer_range: int, atol: Optional[float] = None, slack_upper_bound: Optional[int] = None) → IntegerSlackPreparation

property atol: float

Read-only property.

Absolute tolerance used to normalize bounds to integers.

property max_integer_range: int

Read-only property.

Maximum finite range accepted for exact Integer slack.

property slack_upper_bound: Optional[int]

Read-only property.

Optional upper bound for inequality-preserving Integer slack.

None requires equality. An integer permits the inequality-preserving owner operation only after :class:ExactIntegerSlackError.