GroundReasoner

java.lang.Object

org.tweetyproject.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner

org.tweetyproject.arg.adf.reasoner.GroundReasoner

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

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

Author:: Mathias Hofer

Constructor Summary

Constructors

Constructor

Description

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