Enum FbbtOp 

pub enum FbbtOp {
    Const(f64),
    Var(usize),
    Add(usize, usize),
    Sub(usize, usize),
    Mul(usize, usize),
    Div(usize, usize),
    PowInt(usize, u32),
    Neg(usize),
    Sqrt(usize),
    Exp(usize),
    Ln(usize),
    Abs(usize),
    Sin(usize),
    Cos(usize),
    Opaque,
}

One node in an FBBT-friendly expression tape. Operand fields are indices into the same tape’s ops vector, and must reference strictly earlier slots (< self). The result of the whole tape is the value computed at slot ops.len() - 1 (the last entry).

Variants

Const(f64)

Numeric constant.

Var(usize)

Reference to problem variable i (0-based).

Add(usize, usize)

Sub(usize, usize)

Mul(usize, usize)

Div(usize, usize)

PowInt(usize, u32)

x^n for non-negative integer n. Variable-exponent power is emitted as FbbtOp::Opaque (interval Pow with a non-constant exponent is non-trivial and rare in practice; pounce defers it).

Neg(usize)

Sqrt(usize)

Exp(usize)

Ln(usize)

Abs(usize)

Sin(usize)

Cos(usize)

Opaque

“Don’t reason about this slot.” The forward pass assigns ENTIRE to it; the reverse pass declines to push information through it. Providers emit this for operators FBBT doesn’t support (extern function calls, AMPL log10 / sum, non-integer or variable-exponent powers).

Implementations

impl FbbtOp

pub fn operand_indices(&self) -> ArrayVec2

Whether the op reads any predecessor slots. Used by validators.

Trait Implementations

impl Clone for FbbtOp

fn clone(&self) -> FbbtOp

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FbbtOp

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

Formats the value using the given formatter.

impl PartialEq for FbbtOp

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for FbbtOp