IntegerEncodingPreparation

class IntegerEncodingPreparation

Selection for the used-Integer encoding Preparation phase.

Exactly one encoding owner operation is selected. Validation and mutation semantics remain owned by that operation.

__eq__(other: object) → bool

log_encode_all_used_integers(atol: Optional[float] = None) → IntegerEncodingPreparation

Select the underlying Rust log_encode_all_used_integers owner operation. On success, no used Integer decision variables remain.