Warn about not handling epsilons

VeriFIT / mata

A fast and simple automata library

MIT License

20 stars 13 forks source link

Warn about not handling epsilons #385

Closed Adda0 closed 7 months ago

Adda0 commented 7 months ago

This PR adds a warning that Nfa::post() does not handle epsilons. Nfa::post() is a relict from VATA, but is still used in is_in_lang() and elsewhere.