Package org.tweetyproject.arg.adf.reasoner.sat

Class Pipeline.Builder

java.lang.Object

org.tweetyproject.arg.adf.reasoner.sat.Pipeline.Builder

Enclosing class:

Pipeline

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 Summary

Modifier and Type	Method	Description
Pipeline.Builder	addCandidateProcessor(InterpretationProcessor candidateProcessor)
Pipeline.Builder	addModelProcessor(InterpretationProcessor modelProcessor)
Pipeline.Builder	addStateProcessor(StateProcessor stateProcessor)
Pipeline	build()
Pipeline.Builder	setStateHandler(java.util.concurrent.ExecutorService stateHandler)	Uses the given ExecutorService to create and release SatSolverState.
Pipeline.Builder	setVerifier(Verifier verifier)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

addStateProcessor

public Pipeline.Builder addStateProcessor(StateProcessor stateProcessor)

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().

Parameters:

stateHandler - the stateHandler to set

Returns:

the builder

addCandidateProcessor

public Pipeline.Builder addCandidateProcessor(InterpretationProcessor candidateProcessor)

addModelProcessor

public Pipeline.Builder addModelProcessor(InterpretationProcessor modelProcessor)

setVerifier

public Pipeline.Builder setVerifier(Verifier verifier)

build

public Pipeline build()