SatStableReasoner

java.lang.Object
- net.sf.tweety.arg.dung.reasoner.AbstractDungReasoner
- - net.sf.tweety.arg.dung.reasoner.AbstractExtensionReasoner
  - - net.sf.tweety.arg.dung.reasoner.AbstractSatExtensionReasoner
    - - net.sf.tweety.arg.dung.reasoner.SatStableReasoner

All Implemented Interfaces:

ModelProvider<Argument,DungTheory,Extension>, QualitativeReasoner<DungTheory,Argument>, Reasoner<java.lang.Boolean,DungTheory,Argument>
```
public class SatStableReasoner
extends AbstractSatExtensionReasoner
```
Uses a SAT solver to determine stable extensions.

Author:

Matthias Thimm

- Constructor Summary
  
  Constructors
  Constructor Description
  
  SatStableReasoner(SatSolver solver)
  Constructs a new stable reasoner.
- Method Summary
  - Methods inherited from class net.sf.tweety.arg.dung.reasoner.AbstractSatExtensionReasoner
    getModel, getModels, getPropositionalCharacterisation
  - Methods inherited from class net.sf.tweety.arg.dung.reasoner.AbstractExtensionReasoner
    getSimpleReasonerForSemantics, query, query
  - Methods inherited from class java.lang.Object
    equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - SatStableReasoner
```
public SatStableReasoner(SatSolver solver)
```
    Constructs a new stable reasoner.
    
    Parameters:
    
    solver - the SAT solver this reasoner uses.