Enum Opcode 

pub enum Opcode {
    LoadDim(usize),
    LoadConst(f32),
    Add,
    Sub,
    Mul,
    Div,
    Neg,
    Abs,
    Sqrt,
    Min,
    Max,
    CmpLe,
    CmpGe,
    And,
    Or,
    Not,
    Dup,
    Pop,
}

Bytecode instruction set for constraint expression evaluation.

The virtual machine maintains a stack of f32 values. Each instruction pops its operands and pushes its result.

Variants

LoadDim(usize)

Push x[dim] onto the stack

LoadConst(f32)

Push a constant onto the stack

Add

Pop b, pop a; push a + b

Sub

Pop b, pop a; push a - b

Mul

Pop b, pop a; push a * b

Div

Pop b, pop a; push a / b (errors on divide-by-zero)

Neg

Pop a; push -a

Abs

Pop a; push |a|

Sqrt

Pop a; push sqrt(a)

Min

Pop b, pop a; push min(a, b)

Max

Pop b, pop a; push max(a, b)

CmpLe

Pop b, pop a; push 1.0 if a <= b, else 0.0

CmpGe

Pop b, pop a; push 1.0 if a >= b, else 0.0

And

Pop b, pop a; push 1.0 if both non-zero, else 0.0

Or

Pop b, pop a; push 1.0 if either non-zero, else 0.0

Not

Pop a; push 1.0 if a == 0.0, else 0.0

Dup

Duplicate the top of the stack

Pop

Discard the top of the stack

Trait Implementations

impl Clone for Opcode

fn clone(&self) -> Opcode

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Opcode

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

Formats the value using the given formatter.

impl PartialEq for Opcode

fn eq(&self, other: &Opcode) -> 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 Opcode