| Package | Description |
|---|---|
| de.learnlib.api.oracle |
| Modifier and Type | Method and Description |
|---|---|
OmegaQuery<I,D> |
LassoOracle.processInput(Word<I> prefix,
Word<I> loop,
int repeat)
Processes the given omega query.
|
| Modifier and Type | Method and Description |
|---|---|
default void |
SingleQueryOmegaOracle.processQuery(OmegaQuery<I,D> query) |
default void |
OmegaMembershipOracle.processQuery(OmegaQuery<I,D> query) |
| Modifier and Type | Method and Description |
|---|---|
default void |
SingleQueryOmegaOracle.processQueries(Collection<? extends OmegaQuery<I,D>> queries) |
void |
OmegaMembershipOracle.processQueries(Collection<? extends OmegaQuery<I,D>> queries) |
Copyright © 2019. All rights reserved.