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

Class CompleteReasoner

java.lang.Object

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

net.sf.tweety.arg.adf.reasoner.CompleteReasoner

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

Author:

Mathias Hofer

Constructor Summary

Constructors

Constructor	Description
CompleteReasoner(IncrementalSatSolver solver)

Method Summary

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

getModel, getModels, modelIterator, query, query

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CompleteReasoner

public CompleteReasoner(IncrementalSatSolver solver)

Parameters:

solver -