Uses of Interface
de.learnlib.algorithm.procedural.spmm.ATManager

Packages that use ATManager

Package	Description
de.learnlib.algorithm.procedural.spmm
de.learnlib.algorithm.procedural.spmm.manager

Uses of ATManager in de.learnlib.algorithm.procedural.spmm

Constructors in de.learnlib.algorithm.procedural.spmm with parameters of type ATManager

Constructor	Description
SPMMLearner(ProceduralInputAlphabet<I> alphabet, O errorOutput, MembershipOracle<I,Word<O>> oracle, Mapping<I,LearnerConstructor<L,SymbolWrapper<I>,Word<O>>> learnerConstructors, ATManager<I,O> atManager)

Uses of ATManager in de.learnlib.algorithm.procedural.spmm.manager

Classes in de.learnlib.algorithm.procedural.spmm.manager that implement ATManager

Modifier and Type	Class	Description
class	DefaultATManager<I,O>	A default ATManager that only extracts initial access sequences and terminating sequences from positive counterexamples.
class	OptimizingATManager<I,O>	An optimizing ATManager that continuously scans positive counterexamples and procedural models in order to find shorter access sequences and terminating sequences.