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.

Constructor Summary

Constructors

Constructor

Description

NaiveReasoner(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

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- NaiveReasoner
  
  public NaiveReasoner(IncrementalSatSolver solver)
  
  Deprecated, for removal: This API element is subject to removal in a future version.
  
  Parameters:
  
  solver - the underlying sat solver