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

Class ConflictFreeReasoner

java.lang.Object

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

net.sf.tweety.arg.adf.reasoner.ConflictFreeReasoner

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

Author:

Mathias Hofer

Constructor Summary

Constructors

Constructor	Description
ConflictFreeReasoner(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

ConflictFreeReasoner

public ConflictFreeReasoner(IncrementalSatSolver solver)