Struct peepmatic_runtime::linear::Increment

pub struct Increment {
    pub operation: MatchOp,
    pub expected: MatchResult,
    pub actions: Vec<Action>,
}

A partial match of an optimization's LHS and partial construction of its RHS.

An increment is a matching operation, the expected result from that operation to continue to the next increment, and the actions to take to build up the LHS scope and RHS instructions given that we got the expected result from this increment's matching operation. Each increment will basically become a state and a transition edge out of that state in the final automata.

Fields

operation: MatchOp

The matching operation to perform.

expected: MatchResult

The expected result of our matching operation, that enables us to continue to the next increment, or Else for "don't care" wildcard-style matching.

actions: Vec<Action>

Actions to perform, given that the operation resulted in the expected value.

Trait Implementations

impl Clone for Increment

fn clone(&self) -> Increment

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Increment

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

Formats the value using the given formatter.

impl Eq for Increment

impl PartialEq<Increment> for Increment

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl StructuralEq for Increment

impl StructuralPartialEq for Increment