| Package | Description |
|---|---|
| de.learnlib.api.oracle | |
| de.learnlib.api.oracle.parallelism | |
| de.learnlib.api.statistic |
| Class and Description |
|---|
| BatchProcessor
A markup interface for classes that can process a batch of work in a parallel environment (e.g. a
MembershipOracle when used by a ParallelOracle). |
| Class and Description |
|---|
| BatchProcessor
A markup interface for classes that can process a batch of work in a parallel environment (e.g. a
MembershipOracle when used by a ParallelOracle). |
| ThreadPool
A markup interface for a component that manages a pool of threads that may want to be shut down after usage.
|
| ThreadPool.PoolPolicy
The policy for dealing with thread pools.
|
| Class and Description |
|---|
| BatchProcessor
A markup interface for classes that can process a batch of work in a parallel environment (e.g. a
MembershipOracle when used by a ParallelOracle). |
Copyright © 2020. All rights reserved.