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