Enum descent::expr::Expression

pub enum Expression {
    ExprFix(ExprFix),
    ExprFixSum(ExprFixSum),
    ExprDyn(ExprDyn),
    ExprDynSum(ExprDynSum),
}

Most general representation of an expression.

This wraps up fixed and dynamic types of expressions and their respective summation forms. The user typically doesn’t directly need to care about this type unless they want a way to easily store different types of expressions in the same collection. See the fixed or dynam sub-modules for details about constructing and working with expressions.

Only a few methods are implemented directly for this type. More could be developed to provide a cleaner interface to solvers.

Variants

ExprFix(ExprFix)

ExprFixSum(ExprFixSum)

ExprDyn(ExprDyn)

ExprDynSum(ExprDynSum)

Implementations

impl Expression

pub fn lin_iter<'a>(&'a self) -> Box<dyn Iterator<Item = ID> + 'a>

Iterate over variables that we want to treat as linear.

Implemtation assumes all varialbes in ExprFix are non-linear, because it will have minimal extra overhead doing so.

pub fn nlin_iter<'a>(&'a self) -> Box<dyn Iterator<Item = ID> + 'a>

Iterate over variables that we want to treat as non-linear.

Can contain variables at that are actually linear if we don’t want special treatment for them.

pub fn d1_len(&self) -> usize

Number of entries calculated for first derivative.

These will typically be the non-zeros but not necessarily. Also, one variable could be accounted for twice if one of the summation types.

pub fn d2_len(&self) -> usize

Number of entries calculated for second derivative.

These will typically be the non-zeros but not necessarily. Also, pairs of variables could be accounted for twice if one of the summation types.

Trait Implementations

impl From<Expr> for Expression

fn from(expr: Expr) -> Self

Converts to this type from the input type.

impl From<ExprDyn> for Expression

fn from(expr: ExprDyn) -> Self

Converts to this type from the input type.

impl From<ExprFix> for Expression

fn from(v: ExprFix) -> Self

Converts to this type from the input type.

impl From<Vec<ExprDyn, Global>> for Expression

fn from(expr: ExprDynSum) -> Self

Converts to this type from the input type.

impl From<Vec<ExprFix, Global>> for Expression

fn from(v: ExprFixSum) -> Self

Converts to this type from the input type.