Package net.sf.tweety.arg.adf.reasoner
Class PreferredReasoner
- java.lang.Object
-
- net.sf.tweety.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner
-
- net.sf.tweety.arg.adf.reasoner.PreferredReasoner
-
public class PreferredReasoner extends AbstractDialecticalFrameworkReasoner
- Author:
- Mathias Hofer
-
-
Constructor Summary
Constructors Constructor Description PreferredReasoner(IncrementalSatSolver solver)
-
Method Summary
-
Methods inherited from class net.sf.tweety.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner
getModel, getModels, modelIterator, query, query
-
-
-
-
Constructor Detail
-
PreferredReasoner
public PreferredReasoner(IncrementalSatSolver solver)
- Parameters:
solver
- the underlying sat solver
-
-