feat: add support for per-level alphabet in NFT - #618

Merged

Adda0 merged 13 commits into

VeriFIT:develfrom

tmokenc:nft-per-level-alphabet

Jun 24, 2026

Commits on May 13, 2026

feat: support for alphabet per tape/level
tmokenc
committed
5d3e190
refactors: move function bodies to .cc file
tmokenc
committed
b83f51b
refactors: level-awar alphabet handling into LevelAlphabet instead of a field in Nft
tmokenc
committed
26112a7
refactor: simplify the Alphabet
tmokenc
committed
8e03bb3
refactor: rename the resolve_alphabet into get_alphabet_for_level
tmokenc
committed
a6463d2
fix: not deriving Alphabet for AlphabetLevels
tmokenc
committed
b943a11
fix: move internal alphabets of AlphabetLevels to public
tmokenc
committed
72eca68
Update include/mata/nft/builder.hh

tmokenc
and
Adda0
committed
47074cb
fix: make `empty` and `clear` take `std::optional<Level>`
tmokenc
committed
b25d350
refactor: rename `alphabet_of_level` to `for_level` and add operator[](Level)
tmokenc
committed
5d6abcf
feat: Add `Mode` for AlphabetLevel and make methods take optional<Level>
tmokenc
committed
b6d1df3
fix: semantic of clear/empty on MultiLevel mode of the AlphabetLevels
tmokenc
committed
00c4322
feat: add non-const function for `for_level`
tmokenc
committed
854aeb5