Interface | Description |
---|---|
AccessSequenceTransformer<I> | |
EquivalenceOracle<A,I,D> |
An equivalence oracle, which checks hypothesis automata against the (possibly unknown)
system under learning (SUL).
|
EquivalenceOracle.DFAEquivalenceOracle<I> |
A specialization of the
EquivalenceOracle interface for a DFA learning scenario. |
EquivalenceOracle.MealyEquivalenceOracle<I,O> |
A specialization of the
EquivalenceOracle interface for a Mealy learning scenario. |
Filter<I,D> |
A filter is an oracle that can be used as the middle
element in a chain of oracles.
|
LearningAlgorithm<M,I,D> |
Basic interface for a model inference algorithm.
|
LearningAlgorithm.DFALearner<I> | |
LearningAlgorithm.MealyLearner<I,O> | |
MembershipOracle<I,D> |
Membership oracle interface.
|
MembershipOracle.DFAMembershipOracle<I> | |
MembershipOracle.MealyMembershipOracle<I,O> | |
QueryAnswerer<I,D> | |
SUL<I,O> |
Interface for a system under learning (SUL) that can make single steps.
|
SupportsGrowingAlphabet<I> |
Class | Description |
---|---|
Query<I,D> |
Exception | Description |
---|---|
SULException |
Unchecked exception class that can be used by implementors
of a
SUL to wrap any exceptions that occur during the
SUL.step(Object) methods. |
Copyright © 2015. All rights reserved.