Improve insert_word and insert_identity#394

Merged

Adda0 merged 3 commits intostates_with_levelsfrom nft-insert_word

Mar 5, 2024

+511-116

Commits on Mar 1, 2024

nfa::Nfa::insert_word() and nfa::Nfa::insert_word_by_parts() can have optional target word
koniksedy
committed

Commits on Mar 3, 2024

Overload of nft::Nft::insert_identity(), for a vector of symbols, is done.
koniksedy
committed

Commits on Mar 5, 2024

Use two overloaded functions instead of an optional parameter
Adda0
committed