Class Pipeline
- java.lang.Object
-
- net.sf.tweety.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)
-
-
-
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)
-
-