Package de.learnlib.algorithms.lstar

Class Summary

Class	Description
AbstractAutomatonLStar<A,I,D,S,T,SP,TP,AI extends net.automatalib.automata.MutableDeterministic<S,I,T,SP,TP> & net.automatalib.automata.GrowableAlphabetAutomaton<I>>	Abstract base class for algorithms that produce (subclasses of) MutableDeterministic automata.
AbstractExtensibleAutomatonLStar<A,I,D,S,T,SP,TP,AI extends net.automatalib.automata.MutableDeterministic<S,I,T,SP,TP> & net.automatalib.automata.GrowableAlphabetAutomaton<I>>
AbstractExtensibleAutomatonLStar.BuilderDefaults
AbstractLStar<A,I,D>	An abstract base class for L*-style algorithms.
AbstractLStarState<I,D>	Class that contains all data that represent the internal state of the AbstractLStar learner.
AutomatonLStarState<I,D,AI,S>	Class that contains all data that represent the internal state of the AbstractAutomatonLStar learner and its DFA and Mealy implementations.