Class Pipeline.Builder
- java.lang.Object
-
- net.sf.tweety.arg.adf.reasoner.sat.Pipeline.Builder
-
-
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 givenExecutorService
to create and releaseSatSolverState
.Pipeline.Builder
setVerifier(Verifier verifier)
-
-
-
Method Detail
-
addStateProcessor
public Pipeline.Builder addStateProcessor(StateProcessor stateProcessor)
-
setStateHandler
public Pipeline.Builder setStateHandler(java.util.concurrent.ExecutorService stateHandler)
Uses the givenExecutorService
to create and releaseSatSolverState
. 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()
-
-