SatModelReasoner (Tweety (ADF Library) 1.13 API)

java.lang.Object
- net.sf.tweety.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner
- - net.sf.tweety.arg.adf.reasoner.SatModelReasoner

All Implemented Interfaces:

net.sf.tweety.commons.ModelProvider<Argument,AbstractDialecticalFramework,Interpretation>, net.sf.tweety.commons.QualitativeReasoner<AbstractDialecticalFramework,Argument>, net.sf.tweety.commons.Reasoner<Boolean,AbstractDialecticalFramework,Argument>
```
public class SatModelReasoner
extends AbstractDialecticalFrameworkReasoner
```
Author:

Mathias Hofer

Constructor Summary

Constructors
Constructor Description

SatModelReasoner(net.sf.tweety.logics.pl.sat.SatSolver solver)

Method Summary

Modifier and Type	Method	Description
`Interpretation`	`getModel(AbstractDialecticalFramework bbase)`
`Collection<Interpretation>`	`getModels(AbstractDialecticalFramework bbase)`
`net.sf.tweety.logics.pl.syntax.PlBeliefSet`	`getPropositionalCharacterisation(AbstractDialecticalFramework aaf, Cache<Argument,net.sf.tweety.logics.pl.syntax.PlFormula> cache)`	returns a propositional characterisation of the reasoning problem

Methods inherited from class net.sf.tweety.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner
query, query

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

- Constructor Detail
  - SatModelReasoner
```
public SatModelReasoner(net.sf.tweety.logics.pl.sat.SatSolver solver)
```
- Method Detail
  - getModels
```
public Collection<Interpretation> getModels(AbstractDialecticalFramework bbase)
```
    Specified by:
    
    getModels in interface net.sf.tweety.commons.ModelProvider<Argument,AbstractDialecticalFramework,Interpretation>
    
    Specified by:
    
    getModels in class AbstractDialecticalFrameworkReasoner
  - getModel
```
public Interpretation getModel(AbstractDialecticalFramework bbase)
```
    Specified by:
    
    getModel in interface net.sf.tweety.commons.ModelProvider<Argument,AbstractDialecticalFramework,Interpretation>
    
    Specified by:
    
    getModel in class AbstractDialecticalFrameworkReasoner
  - getPropositionalCharacterisation
```
public net.sf.tweety.logics.pl.syntax.PlBeliefSet getPropositionalCharacterisation(AbstractDialecticalFramework aaf,
                                                                                   Cache<Argument,net.sf.tweety.logics.pl.syntax.PlFormula> cache)
```
    returns a propositional characterisation of the reasoning problem
    
    Parameters:
    
    aaf - some ADF
    
    cache - the cache
    
    Returns:
    
    The propositional encoding of the model semantics.