Struct ConflictArc

pub struct ConflictArc { /* private fields */ }

A subspace of a parser’s state space within which a conflict is active.

A conflict arc is described as nodes with edges in between, the former of which corresponds to a parser state just before a shift action, and the latter to the actual terminals shifted. Each node contains a list of lanes which describe multiple states the parser has to be in due to ambiguities. Each lane represents a sequence of reduce actions and has separate backward edges to the lanes in previous nodes. The nodes are given a rank which represents the number of terminals shifted up to that point. As such the graph describes parallel execution of the parser state machine.

Trait Implementations

impl Debug for ConflictArc

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

Formats the value using the given formatter.

impl Index<ConflictNodeId> for ConflictArc

type Output = ConflictNode

The returned type after indexing.

fn index(&self, index: ConflictNodeId) -> &ConflictNode

Performs the indexing (container[index]) operation.

impl IndexMut<ConflictNodeId> for ConflictArc

fn index_mut(&mut self, index: ConflictNodeId) -> &mut ConflictNode

Performs the mutable indexing (container[index]) operation.