Struct Transition 

pub struct Transition {
    pub matcher: Matcher,
    pub ref_marker: RefTransition,
    pub nav: Nav,
    pub successor_count: u32,
    pub successor_data: [u32; 8],
    /* private fields */
}

A single transition in the query graph.

Transitions use SSO (small-size optimization) for successors:

• 0-8 successors: stored inline in successor_data
• 9+ successors: successor_data[0] is index into successors segment

Layout (64 bytes total, 64-byte aligned):

offset 0:  matcher (16 bytes)
offset 16: ref_marker (4 bytes)
offset 20: nav (2 bytes)
offset 22: effects_len (2 bytes)
offset 24: successor_count (4 bytes)
offset 28: effects_start (4 bytes)
offset 32: successor_data (32 bytes)

Fields

matcher: Matcher

What this transition matches (node kind, wildcard, epsilon).

ref_marker: RefTransition

Reference call/return marker for recursive definitions.

nav: Nav

Navigation instruction (descend/ascend/sibling traversal).

successor_count: u32

Number of successor transitions.

successor_data: [u32; 8]

Successor storage (inline or spilled index).

• If successor_count <= 8: contains TransitionId values directly
• If successor_count > 8: successor_data[0] is index into successors segment

Implementations

impl Transition

pub fn new( matcher: Matcher, ref_marker: RefTransition, nav: Nav, effects: Slice<EffectOp>, successor_count: u32, successor_data: [u32; 8], ) -> Self

Creates a new transition with all fields.

pub fn effects(&self) -> Slice<EffectOp>

Returns the effects slice.

pub fn set_effects(&mut self, effects: Slice<EffectOp>)

Sets the effects slice.

pub fn has_inline_successors(&self) -> bool

Returns true if successors are stored inline.

pub fn inline_successors(&self) -> Option<&[TransitionId]>

Returns inline successors if they fit, None if spilled.

pub fn spilled_successors_index(&self) -> u32

Returns the spilled successor segment index and count. Panics if successors are inline.

Trait Implementations

impl Clone for Transition

fn clone(&self) -> Transition

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Transition