Expand description
A small fixed-capacity bitset over dense state indices.
The interpreter numbers states in document order, so ascending iteration is document order (entry order) and descending iteration is reverse document order (exit order). The set is a plain vector of words: no interior mutability, no unsafe code and no trait objects, which keeps it inside the subset that a later Aeneas translation supports.
Structsยง
- State
Set - A set of state indices in
0..capacity.