| Package | Description |
|---|---|
| de.learnlib.oracle.parallelism |
| Modifier and Type | Class and Description |
|---|---|
class |
DynamicParallelOracle<I,D>
A parallel membership oracle that dynamically distributes queries to worker threads.
|
class |
StaticParallelOracle<I,D>
A membership oracle that statically distributes a set of queries among several threads.
|
Copyright © 2018. All rights reserved.