net.sf.tweety.arg.dung.reasoner

Class AbstractDungReasoner

java.lang.Object

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

All Implemented Interfaces:

QualitativeReasoner<DungTheory,Argument>, Reasoner<java.lang.Boolean,DungTheory,Argument>

Direct Known Subclasses:

AbstractExtensionReasoner, GrossiModgilRankingReasoner, StratifiedLabelingReasoner

public abstract class AbstractDungReasoner
extends java.lang.Object
implements 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 java.lang.Boolean	query(DungTheory beliefbase, Argument formula) Queries the given belief base for the given 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 java.lang.Boolean query(DungTheory beliefbase,
                                        Argument formula)

Description copied from interface: Reasoner

Queries the given belief base for the given formula.

Specified by:

query in interface QualitativeReasoner<DungTheory,Argument>

Specified by:

query in interface Reasoner<java.lang.Boolean,DungTheory,Argument>

Parameters:

beliefbase - a belief base

formula - a formula

Returns:

the answer to the query