| Package | Description |
|---|---|
| de.learnlib.api | |
| de.learnlib.experiments | |
| de.learnlib.mealy | |
| de.learnlib.oracles | |
| de.learnlib.statistics |
| Class and Description |
|---|
| EquivalenceOracle
An equivalence oracle, which checks hypothesis automata against the (possibly unknown)
system under learning (SUL).
|
| LearningAlgorithm
Basic interface for a model inference algorithm.
|
| MembershipOracle
Membership oracle interface.
|
| Query |
| Class and Description |
|---|
| EquivalenceOracle
An equivalence oracle, which checks hypothesis automata against the (possibly unknown)
system under learning (SUL).
|
| LearningAlgorithm
Basic interface for a model inference algorithm.
|
| Class and Description |
|---|
| LearningAlgorithm
Basic interface for a model inference algorithm.
|
| MembershipOracle
Membership oracle interface.
|
| Class and Description |
|---|
| Filter
A filter is an oracle that can be used as the middle
element in a chain of oracles.
|
| MembershipOracle
Membership oracle interface.
|
| MembershipOracle.DFAMembershipOracle |
| MembershipOracle.MealyMembershipOracle |
| Query |
| QueryAnswerer |
| SUL
Interface for a system under learning (SUL) that can make single steps.
|
| Class and Description |
|---|
| Filter
A filter is an oracle that can be used as the middle
element in a chain of oracles.
|
| MembershipOracle
Membership oracle interface.
|
| SUL
Interface for a system under learning (SUL) that can make single steps.
|
Copyright © 2013. All Rights Reserved.