LearnLib/learnlib — pull request #19 by misberner (2014-02-11 15:24:37+00:00)
Title: Refactored/extended parallelism API

Changes:
* use `java.util.concurrent` API rather than manual thread creation
* allow to choose between static and dynamic query->worker distribution
* instantiation via builders (`ParallelOracleBuilders`)
* `ParallelOracle` is now named `StaticParallelOracle`, `ParallelOracle` is superinterface for parallel oracle (exposes `shutdown` and `shutdownNow` methods)