| Package | Description |
|---|---|
| de.learnlib.api.oracle | |
| de.learnlib.api.statistic |
| Class and Description |
|---|
| EquivalenceOracle
An equivalence oracle, which checks hypothesis automata against the (possibly unknown) system under learning (SUL).
|
| MembershipOracle
Membership oracle interface.
|
| MembershipOracle.DFAMembershipOracle |
| MembershipOracle.MealyMembershipOracle |
| QueryAnswerer |
| SingleQueryOracle
Base interface for oracles whose semantic is defined in terms of directly answering single queries (like a
QueryAnswerer, and that cannot profit from batch processing of queries. |
| 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.
|
| QueryAnswerer |
Copyright © 2018. All rights reserved.