ConstraintKind

class ConstraintKind

An extensible constraint family selector. Use Regular, Indicator, OneHot or Sos1; keep a rejecting fallback for unsupported families. The type parameter records the family’s ID type for precise filtered views.

__eq__(other: object) → bool

__hash__() → int

__int__() → int

__ne__(other: object) → bool

__new__(_unconstructible: NoReturn, /) → ConstraintKind

__repr__() → str

__str__() → str

Indicator: ConstraintKind[IndicatorConstraintID]

OneHot: ConstraintKind[OneHotConstraintID]

Regular: ConstraintKind[ConstraintID]

Sos1: ConstraintKind[Sos1ConstraintID]