Package net.sf.tweety.arg.adf.reasoner
Class ConflictFreeReasoner
- java.lang.Object
-
- net.sf.tweety.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner
-
- net.sf.tweety.arg.adf.reasoner.ConflictFreeReasoner
-
- All Implemented Interfaces:
ModelProvider<Argument,AbstractDialecticalFramework,Interpretation>
,QualitativeReasoner<AbstractDialecticalFramework,Argument>
,Reasoner<java.lang.Boolean,AbstractDialecticalFramework,Argument>
public class ConflictFreeReasoner extends AbstractDialecticalFrameworkReasoner
- Author:
- Mathias Hofer
-
-
Constructor Summary
Constructors Constructor Description ConflictFreeReasoner(IncrementalSatSolver solver)
-
Method Summary
Modifier and Type Method Description private static Pipeline<SatReasonerContext>
satBased(IncrementalSatSolver solver)
-
Methods inherited from class net.sf.tweety.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner
getModel, getModels, modelIterator, query, query
-
-
-
-
Constructor Detail
-
ConflictFreeReasoner
public ConflictFreeReasoner(IncrementalSatSolver solver)
-
-
Method Detail
-
satBased
private static Pipeline<SatReasonerContext> satBased(IncrementalSatSolver solver)
-
-