Struct Interval 

pub struct Interval {
    pub lo: Poly,
    pub hi: Poly,
}

A closed range $[\text{lo}, \text{hi}]$ with Poly endpoints.

Fields

lo: Poly

hi: Poly

Implementations

impl Interval

pub fn new(lo: Poly, hi: Poly) -> Self

pub fn exact(p: Poly) -> Self

The range of a value known exactly, [p, p].

pub fn is_exact(&self) -> bool

pub fn is_nonneg(&self, nonneg: &dyn Fn(Var) -> bool) -> bool

Every value in the range is non-negative, given non-negative variables.

pub fn is_nonpos(&self, nonneg: &dyn Fn(Var) -> bool) -> bool

Every value in the range is non-positive, given non-negative variables.

pub fn add(&self, rhs: &Self) -> Self

pub fn neg(&self) -> Self

pub fn sub(&self, rhs: &Self) -> Self

pub fn mul_scalar<T: Into<Coef>>(&self, c: T) -> Self

pub fn scale(&self, p: &Poly, nonneg: &dyn Fn(Var) -> bool) -> Option<Self>

Multiply by a polynomial whose sign is known.

pub fn mul(&self, rhs: &Self, nonneg: &dyn Fn(Var) -> bool) -> Option<Self>

The product of two ranges, when the sign of each is known. The product of two exact values is exact regardless.

pub fn pow(&self, e: Pow, nonneg: &dyn Fn(Var) -> bool) -> Self

pub fn substitute( &self, v: Var, range: &Interval, nonneg: &dyn Fn(Var) -> bool, ) -> Option<Self>

The range as v also ranges over range: the endpoints widen outward.

Trait Implementations

impl Clone for Interval

fn clone(&self) -> Interval

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Interval

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for Interval

impl Hash for Interval

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Interval

fn eq(&self, other: &Interval) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for Interval