Enum SymbolicInstruction 

pub enum SymbolicInstruction {
    AbortIfEqual {
        lhs: Symbol,
        rhs: Symbol,
    },
    AbortIfNotEqual {
        lhs: Symbol,
        rhs: Symbol,
    },
    Label(u32),
    UnconditionalJump {
        label: u32,
    },
    JumpIfEqual {
        lhs: Symbol,
        rhs: Symbol,
        label: u32,
    },
    JumpIfNotEqual {
        lhs: Symbol,
        rhs: Symbol,
        label: u32,
    },
    UnconditionalAbort,
    UnconditionalBind,
}

Variants

AbortIfEqual

Fields

lhs: Symbol

rhs: Symbol

AbortIfNotEqual

Fields

lhs: Symbol

rhs: Symbol

Label(u32)

UnconditionalJump

Fields

label: u32

JumpIfEqual

Fields

lhs: Symbol

rhs: Symbol

label: u32

JumpIfNotEqual

Fields

lhs: Symbol

rhs: Symbol

label: u32

UnconditionalAbort

UnconditionalBind

Implementations

impl SymbolicInstruction

pub fn to_instruction(self) -> Instruction

Trait Implementations

impl Clone for SymbolicInstruction

fn clone(&self) -> SymbolicInstruction

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SymbolicInstruction

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

Formats the value using the given formatter.

impl PartialEq for SymbolicInstruction

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