Uses of Class
org.tweetyproject.arg.adf.reasoner.sat.Pipeline.Builder
-
Packages that use Pipeline.Builder Package Description org.tweetyproject.arg.adf.reasoner.sat -
-
Uses of Pipeline.Builder in org.tweetyproject.arg.adf.reasoner.sat
Methods in org.tweetyproject.arg.adf.reasoner.sat that return Pipeline.Builder Modifier and Type Method Description Pipeline.Builder
Pipeline.Builder. addCandidateProcessor(InterpretationProcessor candidateProcessor)
Pipeline.Builder
Pipeline.Builder. addModelProcessor(InterpretationProcessor modelProcessor)
Pipeline.Builder
Pipeline.Builder. addStateProcessor(StateProcessor stateProcessor)
static Pipeline.Builder
Pipeline. builder(CandidateGenerator candidateGenerator, IncrementalSatSolver solver)
Pipeline.Builder
Pipeline.Builder. setStateHandler(java.util.concurrent.ExecutorService stateHandler)
Uses the givenExecutorService
to create and releaseSatSolverState
.Pipeline.Builder
Pipeline.Builder. setVerifier(Verifier verifier)
-