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

Packages that use Pipeline

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

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

Fields in net.sf.tweety.arg.adf.reasoner declared as Pipeline

Modifier and Type	Field	Description
private Pipeline<?>	AbstractDialecticalFrameworkReasoner.computationPipeline

Methods in net.sf.tweety.arg.adf.reasoner that return Pipeline

Modifier and Type	Method	Description
Pipeline<S>	Pipeline.Builder.build()
private static Pipeline<SatReasonerContext>	AdmissibleReasoner.satBased(IncrementalSatSolver solver)
private static Pipeline<SatReasonerContext>	CompleteReasoner.satBased(IncrementalSatSolver solver)
private static Pipeline<SatReasonerContext>	ConflictFreeReasoner.satBased(IncrementalSatSolver solver)
private static Pipeline<SatReasonerContext>	GroundReasoner.satBased(IncrementalSatSolver solver)
private static Pipeline<SatReasonerContext>	ModelReasoner.satBased(IncrementalSatSolver solver)
private static Pipeline<SatReasonerContext>	NaiveReasoner.satBased(IncrementalSatSolver solver)
private static Pipeline<SatReasonerContext>	PreferredReasoner.satBased(IncrementalSatSolver solver)
private static Pipeline<SatReasonerContext>	StableReasoner.satBased(IncrementalSatSolver solver)

Constructors in net.sf.tweety.arg.adf.reasoner with parameters of type Pipeline

Constructor	Description
AbstractDialecticalFrameworkReasoner(Pipeline<?> computationPipeline)
PipelineReasoner(Pipeline<?> computationPipeline)