Basic interface for
A parallel membership oracle that dynamically distributes queries to worker threads.
Builder class for a
Builders for (static and dynamic) parallel oracles.
A membership oracle that statically distributes a set of queries among several threads.
A builder for a
The policy for dealing with thread pools.
Exception that is thrown if a parallel oracle is interrupted during execution.
Copyright © 2018. All rights reserved.