DegreeBound

class DegreeBound

Cumulative polynomial-degree bound in an :class:InstanceClassClause.

__eq__(other: object) → bool

__repr__() → str

at_most(maximum: int) → DegreeBound

Include every degree up to and including maximum.

includes(actual_degree: int) → bool

Return whether actual_degree satisfies this bound.

unbounded() → DegreeBound

Include every polynomial degree representable by OMMX.

property maximum: Optional[int]

Read-only property.

Inclusive maximum degree, or None when unbounded.