CompleteReasoner

java.lang.Object

org.tweetyproject.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner

org.tweetyproject.arg.adf.reasoner.CompleteReasoner

@Deprecated(forRemoval=true, since="1.19") public class CompleteReasoner extends AbstractDialecticalFrameworkReasoner

Deprecated, for removal: This API element is subject to removal in a future version.

Author:: Mathias Hofer

Constructor Summary

Constructors

Constructor

Description

CompleteReasoner(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
- CompleteReasoner
  
  public CompleteReasoner(IncrementalSatSolver solver)
  
  Deprecated, for removal: This API element is subject to removal in a future version.
  
  Parameters:
  
  solver - the solver to use