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

Packages that use ATManager

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

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

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

Constructor	Description
SBALearner(ProceduralInputAlphabet<I> alphabet, MembershipOracle<I,Boolean> oracle, Mapping<I,LearnerConstructor<L,SymbolWrapper<I>,Boolean>> learnerConstructors, AcexAnalyzer analyzer, ATManager<I> atManager)

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

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

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