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.