All Classes Interface Summary Class Summary
| Class |
Description |
| AbstractAutomatonLStar<A,I,D,S,T,SP,TP,AI extends MutableDeterministic<S,I,T,SP,TP> & SupportsGrowingAlphabet<I>> |
|
| AbstractExtensibleAutomatonLStar<A,I,D,S,T,SP,TP,AI extends MutableDeterministic<S,I,T,SP,TP> & 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. |
| ClassicLStarDFA<I> |
Implementation of the L* algorithm by Dana Angluin.
|
| ClassicLStarDFABuilder<I> |
|
| ClassicLStarMealy<I,O> |
An implementation of the L*Mealy algorithm for inferring Mealy machines, as described by Oliver Niese in his Ph.D.
|
| ClassicLStarMealyBuilder<I,O> |
|
| ClassicLStarMoore<I,O> |
A MooreMachine-based specialization of the classic L* learner. |
| ClassicLStarMooreBuilder<I,O> |
|
| CloseRandomStrategy |
|
| ClosingStrategies |
Collection of predefined observation table closing strategies.
|
| ClosingStrategy<I,D> |
A closing strategy, determining how to proceed when an observation table needs to be closed.
|
| ExtensibleLStarDFA<I> |
An implementation of Angluin's L* algorithm for learning DFAs, as described in the paper "Learning Regular Sets from
Queries and Counterexamples".
|
| ExtensibleLStarDFABuilder<I> |
|
| ExtensibleLStarMealy<I,O> |
|
| ExtensibleLStarMealyBuilder<I,O> |
|
| ExtensibleLStarMoore<I,O> |
A MooreMachine-based specialization of the extensible L* learner. |
| ExtensibleLStarMooreBuilder<I,O> |
|
| LStarDFAUtil |
|
| LStarMealyUtil |
|
| LStarMooreUtil |
|
| MalerPnueliDFA<I> |
|
| MalerPnueliDFABuilder<I> |
|
| MalerPnueliMealy<I,O> |
|
| MalerPnueliMealyBuilder<I,O> |
|
| MalerPnueliMoore<I,O> |
|
| MalerPnueliMooreBuilder<I,O> |
|
| ObservationTableCEXHandler<I,D> |
|
| ObservationTableCEXHandlers |
|
| RivestSchapireDFA<I> |
|
| RivestSchapireDFABuilder<I> |
|
| RivestSchapireMealy<I,O> |
|
| RivestSchapireMealyBuilder<I,O> |
|
| RivestSchapireMoore<I,O> |
|
| RivestSchapireMooreBuilder<I,O> |
|