Class CompleteReasoner
- java.lang.Object
-
- org.tweetyproject.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner
-
- org.tweetyproject.arg.adf.reasoner.CompleteReasoner
-
public class CompleteReasoner extends AbstractDialecticalFrameworkReasoner
- Author:
- Mathias Hofer
-
-
Constructor Summary
Constructors Constructor Description CompleteReasoner(IncrementalSatSolver solver)
-
Method Summary
-
Methods inherited from class org.tweetyproject.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner
credulousQuery, getModel, getModels, modelIterator, skepticalQuery
-
-
-
-
Constructor Detail
-
CompleteReasoner
public CompleteReasoner(IncrementalSatSolver solver)
- Parameters:
solver
- the solver to use
-
-