Package net.sf.tweety.arg.adf.reasoner

Class AdmissibleInterpretationReasoner

java.lang.Object

net.sf.tweety.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner

net.sf.tweety.arg.adf.reasoner.AdmissibleInterpretationReasoner

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 AdmissibleInterpretationReasoner
extends AbstractDialecticalFrameworkReasoner

Constructor Summary

Constructors

Constructor	Description
AdmissibleInterpretationReasoner(IncrementalSatSolver solver)	Creates a new reasoner.

Method Summary

Modifier and Type	Method	Description
Interpretation	getModel(AbstractDialecticalFramework adf)
Collection<Interpretation>	getModels(AbstractDialecticalFramework adf)

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

AdmissibleInterpretationReasoner

public AdmissibleInterpretationReasoner(IncrementalSatSolver solver)

Creates a new reasoner.

Parameters:

solver - an incremental SAT solver

Method Detail

getModels

public Collection<Interpretation> getModels(AbstractDialecticalFramework adf)

Specified by:

getModels in interface net.sf.tweety.commons.ModelProvider<Argument,AbstractDialecticalFramework,Interpretation>

Specified by:

getModels in class AbstractDialecticalFrameworkReasoner

getModel

public Interpretation getModel(AbstractDialecticalFramework adf)

Specified by:

getModel in interface net.sf.tweety.commons.ModelProvider<Argument,AbstractDialecticalFramework,Interpretation>

Specified by:

getModel in class AbstractDialecticalFrameworkReasoner