Bound

class Bound

Variable bound wrapper for Python

Note: This struct is named VariableBound in Rust code to avoid conflicts with PyO3’s Bound type, but is exposed as Bound in Python through the #[pyclass(name = "Bound")] attribute.

__copy__() → Bound

__deepcopy__(_memo: Any) → Bound

__eq__(other: object) → bool

__new__(lower: float, upper: float) → Bound

__repr__() → str

contains(value: float, atol: float) → bool

intersection(other: Bound) → Optional[Bound]

is_finite() → bool

nearest_to_zero() → float

negative() → Bound

of_binary() → Bound

positive() → Bound

unbounded() → Bound

width() → float

property lower: float

Read-only property.

property upper: float

Read-only property.