Package de.learnlib.algorithms.lstargeneric

Class Summary

Class	Description
AbstractAutomatonLStar<A,I,D,S,T,SP,TP,AI extends MutableDeterministic<S,I,T,SP,TP>>	Abstract base class for algorithms that produce (subclasses of) MutableDeterministic automata.
AbstractLStar<A,I,D>	An abstract base class for L*-style algorithms.
ExtensibleAutomatonLStar<A,I,D,S,T,SP,TP,AI extends MutableDeterministic<S,I,T,SP,TP>>
ExtensibleAutomatonLStar.BuilderDefaults