Struct CompactFsmWithStartEnd 

pub struct CompactFsmWithStartEnd { /* private fields */ }

A compact FSM paired with start/accepting states.

node_num / edge_num record the size of the logical FSM this value represents. For a standalone FSM that equals the backing fsm’s own counts; for a per-rule view spliced into a shared complete_fsm, they record the sub-FSM’s size — not the whole completed FSM. Distinguishing the two is the upstream #600 fix (CompactFSMWithStartEndWithSize, commit 58494db).

Implementations

impl CompactFsmWithStartEnd

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

Build a standalone compact FSM; node_num/edge_num are the FSM’s own counts.

pub fn new_view( fsm: CompactFsm, start: usize, ends: Vec<bool>, node_num: usize, edge_num: usize, ) -> Self

Build a per-rule view onto a shared complete_fsm. node_num and edge_num are the spliced-in sub-FSM’s counts, not the backing FSM’s totals (upstream commit 58494db, #600).

pub fn fsm(&self) -> &CompactFsm

The underlying compact FSM.

pub fn start(&self) -> usize

Start state id.

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

Accepting-state bitmap.

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

True if state is accepting.

pub fn num_states(&self) -> usize

Number of states in the logical (sub-)FSM. For a per-rule view this is the spliced-in sub-FSM’s count, not the backing complete_fsm’s total (upstream commit 58494db, #600).

pub fn num_edges(&self) -> usize

Number of edges in the logical (sub-)FSM. For a per-rule view this is the spliced-in sub-FSM’s count, not the backing complete_fsm’s total (upstream commit 58494db, #600).

pub fn backing_num_states(&self) -> usize

Number of states in the backing FSM storage — for a per-rule view this is the whole shared complete_fsm. Use this (not num_states) when indexing into the backing edge table.

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

True if the FSM accepts the byte string.

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

All states reachable from the start state.

pub fn to_fsm(&self) -> FsmWithStartEnd

Expand into the mutable form.

pub fn memory_size(&self) -> usize

Approximate heap footprint.

Trait Implementations

impl Clone for CompactFsmWithStartEnd

fn clone(&self) -> CompactFsmWithStartEnd

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CompactFsmWithStartEnd

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

Formats the value using the given formatter.

impl Default for CompactFsmWithStartEnd

fn default() -> CompactFsmWithStartEnd

Returns the “default value” for a type.

impl PartialEq for CompactFsmWithStartEnd

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

impl StructuralPartialEq for CompactFsmWithStartEnd