Struct sana_core::automata::Automata

pub struct Automata<T> {
    pub states: Vec<State<T>>,
    pub edges: BTreeMap<(usize, CharRange), usize>,
}

Finite state automata

Fields

states: Vec<State<T>>

edges: BTreeMap<(usize, CharRange), usize>

Implementations

impl<T> Automata<T>

pub fn get(&self, ix: usize) -> Option<&State<T>>

Get a state by index

pub fn insert_state(&mut self, state: State<T>)

Insert state into the automata

pub fn insert_edge(&mut self, from: usize, to: usize, range: CharRange)

Insert transition from state with index from to state with index to with the character range range

pub fn transitions_from(
    &self,
    state: usize
) -> impl Iterator<Item = (&CharRange, usize)>

An iterator of all transitions from the given state

pub fn transite(&self, state: usize, ch: char) -> Option<usize>

Follow a transition from the given state that by the given char

pub fn find_terminal_node(&self) -> usize

Find the terminal node of the automata

pub fn node_kinds(&self) -> Vec<NodeKind>

Return a list of node kinds of the automata states

The indices of kinds in the list match the indices of corresponding states in the automata

Trait Implementations

impl<T: Clone> Clone for Automata<T>

fn clone(&self) -> Automata<T>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for Automata<T>

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

Formats the value using the given formatter.