Enum MatchInfo 

pub enum MatchInfo {
    Unconditional {
        vertex: usize,
    },
    Incoming {
        vertex: usize,
        sources: Vec<usize>,
    },
    Outgoing {
        vertex: usize,
        targets: Vec<usize>,
    },
    Swap {
        vertex: usize,
        other: usize,
    },
}

Context captured during rule matching, passed to apply().

Carries the vertex where the rule fires and any additional context the action needs (incoming neighbors, outgoing neighbors, swap target). This avoids double-scanning the state and guarantees that apply() uses the same match data that matches() found.

Variants

Unconditional

Rule fires unconditionally at this vertex.

Fields

vertex: usize

Incoming

Rule fires at vertex, using these specific incoming neighbors.

Fields

vertex: usize

sources: Vec<usize>

Outgoing

Rule fires at vertex, using these specific outgoing neighbors.

Fields

vertex: usize

targets: Vec<usize>

Swap

Rule fires at vertex, swapping with this specific neighbor.

Fields

vertex: usize

other: usize

Implementations

impl MatchInfo

pub fn vertex(&self) -> usize

The vertex where the rule fires.

Trait Implementations

impl Clone for MatchInfo

fn clone(&self) -> MatchInfo

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MatchInfo

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

Formats the value using the given formatter.

impl RuleContext for MatchInfo