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

Class Pipeline

java.lang.Object

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

public final class Pipeline
extends java.lang.Object

Handles all the different building blocks of the SAT centered model computation.

Author:

Mathias Hofer

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	Pipeline.Builder	It is safe to use the builder after the build call if the used processors are stateless.

Method Summary

Modifier and Type	Method	Description
AbstractDialecticalFrameworkReasoner	asReasoner()
static Pipeline.Builder	builder(CandidateGenerator candidateGenerator, IncrementalSatSolver solver)
java.util.Iterator<Interpretation>	iterator(AbstractDialecticalFramework adf)

Methods inherited from class java.lang.Object

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

Method Detail

asReasoner

public AbstractDialecticalFrameworkReasoner asReasoner()

builder

public static Pipeline.Builder builder(CandidateGenerator candidateGenerator,
                                       IncrementalSatSolver solver)

iterator

public java.util.Iterator<Interpretation> iterator(AbstractDialecticalFramework adf)