| Package | Description |
|---|---|
| de.learnlib.api.oracle | |
| de.learnlib.api.oracle.parallelism |
| Modifier and Type | Interface and Description |
|---|---|
interface |
OmegaMembershipOracle<S,I,D>
Answers
OmegaQuerys, similar to a MembershipOracle. |
static interface |
OmegaMembershipOracle.DFAOmegaMembershipOracle<S,I> |
static interface |
OmegaMembershipOracle.MealyOmegaMembershipOracle<S,I,O> |
interface |
SingleQueryOmegaOracle<S,I,D>
An
OmegaMembershipOracle that answers single queries. |
static interface |
SingleQueryOmegaOracle.SingleQueryOmegaOracleDFA<S,I> |
static interface |
SingleQueryOmegaOracle.SingleQueryOmegaOracleMealy<S,I,O> |
| Modifier and Type | Interface and Description |
|---|---|
interface |
ParallelOmegaOracle<S,I,D>
ParallelOracle equivalent for OmegaMembershipOracle. |
Copyright © 2020. All rights reserved.