Struct NfaTable 

pub struct NfaTable {
    pub states: Vec<NfaState>,
    pub start_state: StateId,
    pub accept_state: StateId,
    pub counter_defs: Vec<CounterDef>,
}

Complete NFA table for a content model

Represents a compiled content model as a state machine. The NFA can be used for validation by tracking active states and matching input elements.

Fields

states: Vec<NfaState>

All states in the automaton

start_state: StateId

Initial state ID

accept_state: StateId

Accepting state ID (single accept state per Thompson’s construction)

counter_defs: Vec<CounterDef>

Counter definitions for counted loops (empty if no counted repeats)

Implementations

impl NfaTable

pub fn new( states: Vec<NfaState>, start_state: StateId, accept_state: StateId, ) -> Self

Create a new NFA table with the given states (no counters)

pub fn with_counters( states: Vec<NfaState>, start_state: StateId, accept_state: StateId, counter_defs: Vec<CounterDef>, ) -> Self

Create a new NFA table with counters

pub fn has_counters(&self) -> bool

Check if this NFA has any counted loops

pub fn get_state(&self, id: StateId) -> Option<&NfaState>

Get a state by ID

pub fn get_state_mut(&mut self, id: StateId) -> Option<&mut NfaState>

Get a mutable reference to a state by ID

pub fn state_count(&self) -> usize

Get the number of states

pub fn is_accept(&self, state_id: StateId) -> bool

Check if a state is the accept state

pub fn concat(self, other: NfaTable) -> NfaTable

Concatenate two NFA tables: self followed by other. Creates an epsilon transition from self’s accept state to other’s start state. Offsets both state IDs and counter IDs in the second table.

pub fn transitions_from(&self, state_id: StateId) -> &[NfaTransition]

Get all transitions from a given state

Trait Implementations

impl Clone for NfaTable

fn clone(&self) -> NfaTable

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for NfaTable

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

Formats the value using the given formatter.