Package de.learnlib.algorithm.oml.lstar

Class Summary

Class	Description
OptimalLStarDFA<I>
OptimalLStarMealy<I,O>
OptimalLStarState<I,D>	State class for making OptimalLStarDFA and OptimalLStarMealy resumable.