Module de.learnlib.algorithm.lstar

Package de.learnlib.algorithm.lstar

Class Summary

Class	Description
AbstractAutomatonLStar<A,I,D,S,T,SP,TP,AI extends net.automatalib.automaton.MutableDeterministic<S,I,T,SP,TP> & net.automatalib.alphabet.SupportsGrowingAlphabet<I>>	Abstract base class for algorithms that produce (subclasses of) MutableDeterministic automata.
AbstractExtensibleAutomatonLStar<A,I,D,S,T,SP,TP,AI extends net.automatalib.automaton.MutableDeterministic<S,I,T,SP,TP> & net.automatalib.alphabet.SupportsGrowingAlphabet<I>>
AbstractExtensibleAutomatonLStar.BuilderDefaults
AbstractLStar<A,I,D>	An abstract base class for L*-style algorithms.
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.