I
- input symbol typeD
- output domain typepublic interface ParallelOracle<I,D> extends MembershipOracle<I,D>
MembershipOracle
s that can process queries
in parallel.
Parallel oracles usually use one or more dedicated worker threads in which the
processing of queries is performed. Since these do not have a defined life span,
they must be terminated explicitly using shutdown()
or shutdownNow()
.
Modifier and Type | Interface and Description |
---|---|
static class |
ParallelOracle.PoolPolicy
The policy for dealing with thread pools.
|
MembershipOracle.DFAMembershipOracle<I>, MembershipOracle.MealyMembershipOracle<I,O>
Modifier and Type | Method and Description |
---|---|
void |
shutdown()
Shuts down all worker threads, but waits for any queued queries
to be processed.
|
void |
shutdownNow()
Shuts down all worker threads, and attempts to abort any query
processing currently taking place.
|
processQueries
void shutdown()
ExecutorService.shutdown()
void shutdownNow()
ExecutorService.shutdownNow()
Copyright © 2015. All rights reserved.