Class StableReasoner
java.lang.Object
org.tweetyproject.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner
org.tweetyproject.arg.adf.reasoner.StableReasoner
@Deprecated(forRemoval=true,
since="1.19")
public class StableReasoner
extends AbstractDialecticalFrameworkReasoner
Deprecated, for removal: This API element is subject to removal in a future version.
- Author:
- Mathias Hofer
-
Constructor Summary
ConstructorDescriptionStableReasoner
(IncrementalSatSolver solver) Deprecated, for removal: This API element is subject to removal in a future version. -
Method Summary
Methods inherited from class org.tweetyproject.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner
credulousQuery, getModel, getModels, modelIterator, skepticalQuery
-
Constructor Details
-
StableReasoner
Deprecated, for removal: This API element is subject to removal in a future version.- Parameters:
solver
- the underlying sat solver
-