learnlib
learnlib copied to clipboard
Add Moore Caches
Add Moore-specific caches and use them where adequate, e.g., AbstractGrowingAlphabetMooreTest.
- We may be able to generalize the current DFA caches to something like "state-output" caches.
- This may require adjustments in AutomataLib as well.