Trait IntoRhs 

pub trait IntoRhs<'a> {
    // Required method
    fn fold_rhs(self, lhs: Expr<'a>) -> (Expr<'a>, f64);

    // Provided method
    fn const_bound(&self) -> Option<f64> { ... }
}

What can appear on the right-hand side of a constraint. Numeric scalars stay as the canonical rhs. Expressions get subtracted into the LHS.

Required Methods

fn fold_rhs(self, lhs: Expr<'a>) -> (Expr<'a>, f64)

Provided Methods

fn const_bound(&self) -> Option<f64>

The numeric value when this RHS is a pure constant bound (a literal), else None. Used by the range-constraint registration to decide whether lo <= e <= hi collapses to one interval row: expression/param bounds return None so they stay two general constraints (keeping the symbolic bound re-bindable). Defaults to None.

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl<'a> IntoRhs<'a> for f64

fn fold_rhs(self, lhs: Expr<'a>) -> (Expr<'a>, f64)

fn const_bound(&self) -> Option<f64>

impl<'a> IntoRhs<'a> for i32

fn fold_rhs(self, lhs: Expr<'a>) -> (Expr<'a>, f64)

fn const_bound(&self) -> Option<f64>

Implementors

impl<'a> IntoRhs<'a> for Expr<'a>