ConstraintID

class ConstraintID

A regular constraint ID. Unequal to integers and IDs of other constraint families.

__copy__() → ConstraintID

IDs are immutable; copying preserves the same typed identity.

__deepcopy__(_memo: Any) → ConstraintID

IDs are immutable, including when nested in copied containers.

__eq__(other: object, /) → bool

__ge__(other: object, /) → bool

__gt__(other: object, /) → bool

__hash__() → int

__le__(other: object, /) → bool

__lt__(other: object, /) → bool

__new__(value: int) → ConstraintID

Create an ID in this constraint family’s namespace.

The value must be an unsigned 64-bit integer. An ID of another family is not accepted. IDs have no integer conversion protocol.

__reduce__() → tuple[type, tuple[int]]

Reconstruct the same ID family through its public constructor. The numeric payload is used only by the serialization protocol.

__repr__() → str