Enum CodeTreeInstr 

pub enum CodeTreeInstr {
    CheckSymbol {
        symbol: Spur,
        arity: usize,
        failure_pc: usize,
    },
    CheckVar {
        failure_pc: usize,
    },
    CheckConstant {
        value: TermId,
        failure_pc: usize,
    },
    Bind {
        var: PatternVar,
    },
    CheckEq {
        var: PatternVar,
        failure_pc: usize,
    },
    MoveToChild {
        index: usize,
    },
    MoveToParent,
    Yield {
        quantifier: TermId,
        pattern_idx: usize,
    },
    Halt,
}

Instruction in the code tree (compiled pattern matching bytecode).

Variants

CheckSymbol

Check if current term has a specific function symbol. Args: (symbol_id, child_count, failure_pc)

Fields

symbol: Spur

Function symbol

arity: usize

Number of arguments

failure_pc: usize

PC on failure

CheckVar

Check if current term is a variable (for patterns with nested variables). Args: (failure_pc)

Fields

failure_pc: usize

PC on failure

CheckConstant

Check if current term is a constant (specific value). Args: (value_id, failure_pc)

Fields

value: TermId

Expected value

failure_pc: usize

PC on failure

Bind

Bind current term to a pattern variable. Args: (variable_id)

Fields

var: PatternVar

Pattern variable ID

CheckEq

Check if current term matches a previously bound variable (occurs check). Args: (variable_id, failure_pc)

Fields

var: PatternVar

Pattern variable ID

failure_pc: usize

PC on failure

MoveToChild

Move to the i-th child of current term. Args: (child_index)

Fields

index: usize

Child index

MoveToParent

Move to parent term (backtrack).

Yield

Yield a match with the current substitution. Args: (quantifier_id, pattern_index)

Fields

quantifier: TermId

Quantifier term ID

pattern_idx: usize

Pattern index

Halt

Halt execution (end of program).

Trait Implementations

impl Clone for CodeTreeInstr

fn clone(&self) -> CodeTreeInstr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CodeTreeInstr

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

Formats the value using the given formatter.

impl PartialEq for CodeTreeInstr

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

impl StructuralPartialEq for CodeTreeInstr