Package | Description |
---|---|
de.learnlib.parallelism |
Class and Description |
---|
DynamicParallelOracle
A parallel membership oracle that dynamically distributes queries
to worker threads.
|
DynamicParallelOracleBuilder
Builder class for a
DynamicParallelOracle . |
ParallelOracle
Basic interface for
MembershipOracle s that can process queries
in parallel. |
ParallelOracle.PoolPolicy
The policy for dealing with thread pools.
|
StaticParallelOracle
A membership oracle that statically distributes a set of queries among several threads.
|
StaticParallelOracleBuilder
A builder for a
StaticParallelOracle . |
Copyright © 2015. All rights reserved.