Class Pipeline.Builder

  • Enclosing class:

    public static final class Pipeline.Builder
    extends java.lang.Object
    It is safe to use the builder after the build call if the used processors are stateless. The resulting Pipeline works on copies of the processor queues.
    • Method Detail

      • setStateHandler

        public Pipeline.Builder setStateHandler​(java.util.concurrent.ExecutorService stateHandler)
        Uses the given ExecutorService to create and release SatSolverState. This is useful since the main thread must not wait until we have released a used state if the given stateHandler executes task asynchronously.

        As a default, if nothing is set, we use Executors.newWorkStealingPool().

        stateHandler - the stateHandler to set
        the builder