learnlib icon indicating copy to clipboard operation
learnlib copied to clipboard

Add Moore Caches

Open mtf90 opened this issue 2 years ago • 0 comments

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.

mtf90 avatar Sep 12 '22 11:09 mtf90