Package | Description |
---|---|
de.learnlib.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 © 2015. All rights reserved.