Class LocalExpansionCompleteKernel

java.lang.Object

org.tweetyproject.arg.dung.equivalence.kernel.EquivalenceKernel

org.tweetyproject.arg.dung.equivalence.kernel.LocalExpansionCompleteKernel

public class LocalExpansionCompleteKernel
extends EquivalenceKernel

Equivalence kernel for local expansion under complete semantics.

Field Summary

Fields inherited from class org.tweetyproject.arg.dung.equivalence.kernel.EquivalenceKernel

ADMISSIBLE, COMPLETE, GROUNDED, LE_COMPLETE, SE_ADMISSIBLE, SE_COMPLETE, SE_GROUNDED, STABLE

Constructor Summary

Constructors

Constructor	Description
LocalExpansionCompleteKernel()

Method Summary

Modifier and Type	Method	Description
Collection<Attack>	getRedundantAttacks(DungTheory theory)	Computes the redundant attacks for the given argumentation theory.

Methods inherited from class org.tweetyproject.arg.dung.equivalence.kernel.EquivalenceKernel

getKernel, getStrongEquivalenceKernelForSemantics, getStrongExpansionEquivalenceKernelForSemantics

Methods inherited from class java.lang.Object

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

Constructor Details

LocalExpansionCompleteKernel

public LocalExpansionCompleteKernel()

Method Details

getRedundantAttacks

public Collection<Attack> getRedundantAttacks(DungTheory theory)

Computes the redundant attacks for the given argumentation theory.

Specified by:

getRedundantAttacks in class EquivalenceKernel

Parameters:

theory - the argumentation framework

Returns:

the collection of redundant attacks