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:

AbstractAcceptabilityReasoner, AbstractExtensionReasoner, StratifiedLabelingReasoner
```
public abstract class AbstractDungReasoner
extends java.lang.Object
implements QualitativeReasoner<DungTheory,Argument>
```
Ancestor class for all AAF reasoners.

Author:

Matthias Thimm

- Constructor Summary
  
  Constructors
  Constructor Description
  
  AbstractDungReasoner()
- Method Summary
  
  Modifier and Type Method 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
    equals, 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