Uses of Class
net.sf.tweety.arg.adf.reasoner.sat.Pipeline.Builder

Packages that use Pipeline.Builder

Package	Description
net.sf.tweety.arg.adf.reasoner.sat

Uses of Pipeline.Builder in net.sf.tweety.arg.adf.reasoner.sat

Methods in net.sf.tweety.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 given ExecutorService to create and release SatSolverState.
Pipeline.Builder	Pipeline.Builder.setVerifier(Verifier verifier)