net.sf.tweety.arg.aba

Class GroundedReasoner<T extends Formula>

java.lang.Object

net.sf.tweety.commons.Reasoner

net.sf.tweety.arg.aba.GeneralABAReasoner<T>

net.sf.tweety.arg.aba.GroundedReasoner<T>

public class GroundedReasoner<T extends Formula>
extends GeneralABAReasoner<T>

Author:

Nils Geilen

Constructor Summary

Constructors

Constructor and Description
GroundedReasoner(BeliefBase beliefBase, int inferenceType)

Method Summary

Modifier and Type	Method and Description
java.util.Collection<java.util.Collection<Assumption<T>>>	computeExtensions()

Methods inherited from class net.sf.tweety.arg.aba.GeneralABAReasoner

getInferenceType, query, setInferenceType

Methods inherited from class net.sf.tweety.commons.Reasoner

getKnowledgeBase

Methods inherited from class java.lang.Object

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

Constructor Detail

GroundedReasoner

public GroundedReasoner(BeliefBase beliefBase,
                        int inferenceType)

Method Detail

computeExtensions

public java.util.Collection<java.util.Collection<Assumption<T>>> computeExtensions()

Specified by:

computeExtensions in class GeneralABAReasoner<T extends Formula>