Optimize `Nfa::get_word()`

VeriFIT / mata

A fast and simple automata library

MIT License

23 stars 13 forks source link

Optimize `Nfa::get_word()` #432

Closed Adda0 closed 3 months ago

Adda0 commented 3 months ago

This PR optimizes getting an arbitrary word from Nfa, as requested by #431. The attached Nfa instance now computes in 0.015 seconds instead of 10 seconds.

Fixes #431.

Adda0 commented 3 months ago

I applied the suggested changes. Feel free to have a look at the added comments.

jurajsic commented 3 months ago

Looks good, you can merge