Struct FsmWithStartEnd 

pub struct FsmWithStartEnd { /* private fields */ }

A mutable FSM together with a start state and accepting states.

Implementations

impl FsmWithStartEnd

pub fn is_dfa(&mut self) -> bool

True if the FSM is a DFA: no epsilon edges and no two char-range (or rule-ref) edges from one state overlap. Caches the result.

pub fn to_dfa(&self, max_num_states: usize) -> Result<FsmWithStartEnd, String>

Subset-construction NFA -> DFA. Returns Err if the result would exceed max_num_states.

impl FsmWithStartEnd

pub fn minimize_dfa( &self, max_num_states: usize, ) -> Result<FsmWithStartEnd, String>

Hopcroft DFA minimization. Returns Err over the state cap.

pub fn not( &self, max_result_num_states: usize, ) -> Result<FsmWithStartEnd, String>

The complement of the FSM’s language. Only valid for leaf FSMs (no rule references).

pub fn intersect( lhs: &FsmWithStartEnd, rhs: &FsmWithStartEnd, _max_result_num_states: usize, ) -> Result<FsmWithStartEnd, String>

Intersection of two leaf FSMs (product construction over DFAs).

impl FsmWithStartEnd

pub fn star(&self) -> FsmWithStartEnd

self* — Kleene star.

pub fn plus(&self) -> FsmWithStartEnd

self+ — one or more.

pub fn optional(&self) -> FsmWithStartEnd

self? — optional.

pub fn union(fsms: &[FsmWithStartEnd]) -> FsmWithStartEnd

Parallel union of several FSMs — accepts any of their languages.

pub fn concat(fsms: &[FsmWithStartEnd]) -> FsmWithStartEnd

Sequential concatenation of several FSMs.

impl FsmWithStartEnd

pub fn simplify_epsilon(&self) -> FsmWithStartEnd

Merge states linked by removable epsilon transitions.

a --eps--> b is collapsible when either (1) a has no other outgoing edge, or (2) b has no other incoming edge.

pub fn merge_equivalent_successors(&self) -> FsmWithStartEnd

Merge states with identical incoming or outgoing transition structure (ab | ac | ad -> a(b|c|d), and the mirror case).

Upstream renamed this MergeEquivalentStates (commit 8d22ba0); the port keeps the original name.

The incoming/outgoing edge relations are stored in two reused CSR arrays (EdgeCsr) instead of per-state hash maps — port of upstream commit 96ae88b (#616), which found build_maps dominated the pass through hash-map and small-vector churn.

impl FsmWithStartEnd

pub fn new(fsm: Fsm, start: usize, ends: Vec<bool>, is_dfa: bool) -> Self

Build from parts.

pub fn fsm(&self) -> &Fsm

The underlying FSM.

pub fn fsm_mut(&mut self) -> &mut Fsm

Mutable underlying FSM.

pub fn start(&self) -> usize

The start state id.

pub fn ends(&self) -> &[bool]

The accepting-state bitmap.

pub fn is_end_state(&self, state: usize) -> bool

True if state is accepting.

pub fn num_states(&self) -> usize

Total number of states.

pub fn set_start_state(&mut self, state: usize)

Set the start state.

pub fn add_end_state(&mut self, state: usize)

Mark state accepting.

pub fn set_end_states(&mut self, ends: Vec<bool>)

Replace the accepting-state bitmap.

pub fn add_state(&mut self) -> usize

Append a new (non-accepting) state; returns its id.

pub fn is_scanable_state(&self, state: usize) -> bool

True if state has at least one outgoing char-range edge.

pub fn is_non_terminal_state(&self, state: usize) -> bool

True if state has a rule-ref / epsilon / repeat-ref edge.

pub fn accept_string(&self, bytes: &[u8]) -> bool

True if the FSM accepts the byte string str.

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

All states reachable from the start state.

pub fn is_leaf(&self) -> bool

True if no reachable state has a rule-ref or repeat-ref edge.

pub fn copy(&self) -> FsmWithStartEnd

A deep copy.

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

Rebuild with remapped state ids.

pub fn add_to_complete_fsm(&self, complete_fsm: &mut Fsm) -> FsmWithStartEnd

Splice this FSM into complete_fsm, returning a view onto it.

pub fn to_compact(&self) -> CompactFsmWithStartEnd

Pack into the compact form.

Trait Implementations

impl Clone for FsmWithStartEnd

fn clone(&self) -> FsmWithStartEnd

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FsmWithStartEnd

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

Formats the value using the given formatter.

impl Default for FsmWithStartEnd

fn default() -> FsmWithStartEnd

Returns the “default value” for a type.

impl PartialEq for FsmWithStartEnd

fn eq(&self, other: &FsmWithStartEnd) -> 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 FsmWithStartEnd

impl StructuralPartialEq for FsmWithStartEnd