Struct Fsm 

pub struct Fsm { /* private fields */ }

A mutable finite-state machine.

Implementations

impl Fsm

pub fn to_compact(&self) -> CompactFsm

Sort edges and pack into the CSR CompactFsm form.

impl Fsm

pub fn with_states(num_states: usize) -> Self

Create an FSM with num_states states and no edges.

pub fn from_edges(edges: Vec<Vec<FsmEdge>>, edge_aux_data: Vec<i32>) -> Self

Create an FSM from a ready-made adjacency list.

pub fn num_states(&self) -> usize

Number of states.

pub fn num_edges(&self) -> usize

Total number of edges across all states.

pub fn all_edges(&self) -> &[Vec<FsmEdge>]

All adjacency rows.

pub fn edges(&self, state: usize) -> &[FsmEdge]

Outgoing edges of state.

pub fn edges_mut(&mut self, state: usize) -> &mut Vec<FsmEdge>

Mutable outgoing edges of state.

pub fn edge_aux_data(&self) -> &[i32]

The repeat-edge auxiliary data buffer.

pub fn set_edge_aux_data(&mut self, data: Vec<i32>)

Replace the repeat-edge auxiliary data buffer.

pub fn repeat_edge_info(&self, idx: i16) -> RepeatEdgeRef

Decode the repeat-edge info stored at aux index idx.

pub fn add_state(&mut self) -> usize

Append a fresh state; returns its id.

pub fn add_edge(&mut self, from: usize, to: usize, min: i16, max: i16)

Add a character-range edge from -[min,max]-> to.

pub fn add_typed_edge( &mut self, from: usize, to: usize, edge_type: i16, value: i16, )

Add a raw typed edge (type is one of edge_type, value goes into max).

pub fn add_epsilon_edge(&mut self, from: usize, to: usize)

Add an epsilon transition.

pub fn add_rule_edge(&mut self, from: usize, to: usize, rule_id: i16)

Add a rule-reference edge for rule_id.

pub fn add_eos_edge(&mut self, from: usize, to: usize)

Add an EOS edge.

pub fn add_repeat_edge( &mut self, from: usize, to: usize, rule_id: i32, lower: i32, upper: i32, )

Add a repeat-reference edge, allocating [rule_id, lower, upper] into edge_aux_data. The source state must have no other edges.

pub fn add_fsm(&mut self, other: &Fsm) -> Vec<usize>

Splice other into self, offsetting all of other’s state ids. Returns the state mapping other_id -> new_id.

pub fn sort_edges(&mut self)

Sort every state’s edges by (min, max, target).

pub fn rebuild_with_mapping( &self, state_mapping: &[usize], new_num_states: usize, ) -> Fsm

Rebuild with remapped state ids. Epsilon self-loops created by the mapping are dropped; duplicate edges per row are removed.

impl Fsm

pub fn next_state(&self, from: usize, value: i32, edge_type: i16) -> i32

Single-character / typed transition. Returns the first matching target, or NO_NEXT_STATE. edge_type must not be epsilon.

pub fn epsilon_closure(&self, state_set: &mut AHashSet<i32>)

Epsilon closure (in place); state_set is not cleared first.

pub fn advance( &self, from: &AHashSet<i32>, value: i32, result: &mut AHashSet<i32>, edge_type: i16, from_is_closure: bool, )

Advance a set of states by value along edge_type edges. result is cleared first; the epsilon closure of the result is included. Set from_is_closure if from is already closed.

pub fn possible_rules(&self, state: usize, rules: &mut AHashSet<i32>)

All rule ids referenced by state’s outgoing edges.

pub fn reachable_states(&self, from: &[i32], result: &mut AHashSet<i32>)

All states reachable from from (including from). result is cleared first.

Trait Implementations

impl Clone for Fsm

fn clone(&self) -> Fsm

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Fsm

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

Formats the value using the given formatter.

impl Default for Fsm

fn default() -> Fsm

Returns the “default value” for a type.

impl PartialEq for Fsm

fn eq(&self, other: &Fsm) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for Fsm

impl StructuralPartialEq for Fsm