All Classes

Class	Description
ATManager<I>	A manager of access sequences and terminating sequences of SBAs during the learning process.
ATManager<I,O>	A manager of access sequences and terminating sequences of SPMMs during the learning process.
ATRManager<I>	A manager of access sequences, terminating sequences, and return sequences of SPAs during the learning process.
DefaultATManager<I>	A default ATManager that only extracts initial access sequences and terminating sequences from positive counterexamples.
DefaultATManager<I,O>	A default ATManager that only extracts initial access sequences and terminating sequences from positive counterexamples.
DefaultATRManager<I>	A default ATRManager that only extracts initial access sequences, terminating sequences, and return sequences from positive counterexamples.
KearnsVaziraniAdapterDFA<I>	Adapter for using KearnsVaziraniDFA as a procedural learner.
KearnsVaziraniAdapterMealy<I,O>	Adapter for using KearnsVaziraniMealy as a procedural learner.
LStarBaseAdapterDFA<I>	Adapter for using ClassicLStarDFA as a procedural learner.
LStarBaseAdapterMealy<I,O>	Adapter for using ExtensibleLStarMealy as a procedural learner.
ObservationPackAdapterDFA<I>	Adapter for using OPLearnerDFA as a procedural learner.
ObservationPackAdapterMealy<I,O>	Adapter for using OPLearnerMealy as a procedural learner.
OptimalTTTAdapterDFA<I>	Adapter for using OptimalTTTDFA as a procedural learner.
OptimalTTTAdapterMealy<I,O>	Adapter for using OptimalTTTMealy as a procedural learner.
OptimizingATManager<I>	An optimizing ATManager that continuously scans positive counterexamples and procedural models in order to find shorter access sequences and terminating sequences.
OptimizingATManager<I,O>	An optimizing ATManager that continuously scans positive counterexamples and procedural models in order to find shorter access sequences and terminating sequences.
OptimizingATRManager<I>	An optimizing ATRManager that continuously scans positive counterexamples and procedural models in order to find shorter access sequences, terminating sequences, and return sequences.
RivestSchapireAdapterDFA<I>	Adapter for using RivestSchapireDFA as a procedural learner.
RivestSchapireAdapterMealy<I,O>	Adapter for using RivestSchapireMealy as a procedural learner.
SBALearner<I,L extends LearningAlgorithm.DFALearner<SymbolWrapper<I>> & SupportsGrowingAlphabet<SymbolWrapper<I>> & AccessSequenceTransformer<SymbolWrapper<I>>>	A learning algorithm for SBAs.
SPALearner<I,L extends LearningAlgorithm.DFALearner<I> & SupportsGrowingAlphabet<I> & AccessSequenceTransformer<I>>	A learning algorithm for SPAs.
SPMMLearner<I,O,L extends LearningAlgorithm.MealyLearner<SymbolWrapper<I>,O> & SupportsGrowingAlphabet<SymbolWrapper<I>> & AccessSequenceTransformer<SymbolWrapper<I>>>	A learning algorithm for SPMMs.
SymbolWrapper<I>	A utility class to annotate an input symbol with a (boolean) continuable flag.
TTTAdapterDFA<I>	Adapter for using TTTLearnerDFA as a procedural learner.
TTTAdapterMealy<I,O>	Adapter for using TTTLearnerMealy as a procedural learner.