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

Class AdmissibleReasoner

java.lang.Object

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

net.sf.tweety.arg.adf.reasoner.AdmissibleReasoner

public class AdmissibleReasoner
extends AbstractDialecticalFrameworkReasoner

Author:

Mathias Hofer

Constructor Summary

Constructors

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

AdmissibleReasoner

public AdmissibleReasoner(IncrementalSatSolver solver)