net.sf.tweety.arg.dung.reasoner

Class AbstractDungReasoner

java.lang.Object

net.sf.tweety.arg.dung.reasoner.AbstractDungReasoner

All Implemented Interfaces:

net.sf.tweety.commons.QualitativeReasoner<DungTheory,Argument>, net.sf.tweety.commons.Reasoner<Boolean,DungTheory,Argument>

Direct Known Subclasses:

AbstractExtensionReasoner, GrossiModgilRankingReasoner, StratifiedLabelingReasoner

public abstract class AbstractDungReasoner
extends Object
implements net.sf.tweety.commons.QualitativeReasoner<DungTheory,Argument>

Ancestor class for all AAF reasoner.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
AbstractDungReasoner()

Method Summary

Modifier and Type	Method and Description
abstract Boolean	query(DungTheory beliefbase, Argument formula)

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractDungReasoner

public AbstractDungReasoner()

Method Detail

query

public abstract Boolean query(DungTheory beliefbase,
                              Argument formula)

Specified by:

query in interface net.sf.tweety.commons.QualitativeReasoner<DungTheory,Argument>

Specified by:

query in interface net.sf.tweety.commons.Reasoner<Boolean,DungTheory,Argument>