Module dfa_pack 

Transition-table packing for GPU dispatch. Transition-table compression for GPU dispatch.

The pack formats trade memory footprint for scan speed. Dense is the fastest but largest; EquivClass collapses redundant byte columns to shrink the table when the effective alphabet is small.

Functions

dfa_pack

Pack a DFA into GPU-uploadable bytes using the selected format.

dfa_unpack

Unpack a PackedDfa back into a Dfa. Used by tests and by consumers that need to verify a packed buffer round-trips.