SatCompleteReasoner

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.SatCompleteReasoner

All Implemented Interfaces:

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

Author:

Matthias Thimm

Constructor Summary

Constructors
Constructor Description

SatCompleteReasoner(SatSolver solver)
Constructs a new complete reasoner.

Method Summary

Modifier and Type	Method	Description
`protected PlBeliefSet`	`getPropositionalCharacterisationBySemantics(DungTheory aaf, java.util.Map<Argument,Proposition> in, java.util.Map<Argument,Proposition> out, java.util.Map<Argument,Proposition> undec)`	Returns the semantic-specific propositional characterization of the underlying Dung theory, see `getPropositionalCharacterisation`.

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
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - SatCompleteReasoner
```
public SatCompleteReasoner(SatSolver solver)
```
    Constructs a new complete reasoner.
    
    Parameters:
    
    solver - the SAT solver this reasoner uses.
- Method Detail
  - getPropositionalCharacterisationBySemantics
```
protected PlBeliefSet getPropositionalCharacterisationBySemantics(DungTheory aaf,
                                                                  java.util.Map<Argument,Proposition> in,
                                                                  java.util.Map<Argument,Proposition> out,
                                                                  java.util.Map<Argument,Proposition> undec)
```
    Description copied from class: AbstractSatExtensionReasoner
    
    Returns the semantic-specific propositional characterization of the underlying Dung theory, see getPropositionalCharacterisation.
    
    Specified by:
    
    getPropositionalCharacterisationBySemantics in class AbstractSatExtensionReasoner
    
    Parameters:
    
    aaf - the Dung theory
    
    in - propositional variables of in arguments.
    
    out - propositional variables of out arguments.
    
    undec - propositional variables of undec arguments.
    
    Returns:
    
    the semantic-specific propositional characterization of the underlying Dung theory, see getPropositionalCharacterisation.