EquivalenceKernel

java.lang.Object
- org.tweetyproject.arg.dung.equivalence.EquivalenceKernel

Direct Known Subclasses:

AdmissibleKernel, CompleteKernel, GroundedKernel, StableKernel
```
public abstract class EquivalenceKernel
extends java.lang.Object
```
An abstract kernel for strong equivalence in abstract argumentation frameworks

Author:

Lars Bengel

Field Summary

Fields
Modifier and Type	Field	Description
`static EquivalenceKernel`	`ADMISSIBLE`
`static EquivalenceKernel`	`COMPLETE`
`static EquivalenceKernel`	`GROUNDED`
`static EquivalenceKernel`	`STABLE`

Constructor Summary

Constructors
Constructor Description

EquivalenceKernel()

Method Summary

Modifier and Type	Method	Description
`DungTheory`	`getKernel(DungTheory theory)`	computes the kernel of the given AF
`abstract java.util.Collection<Attack>`	`getUselessAttacks(DungTheory theory)`	compute the set of 'useless' attacks, i.e.

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Field Detail
  - STABLE
```
public static final EquivalenceKernel STABLE
```
  - COMPLETE
```
public static final EquivalenceKernel COMPLETE
```
  - GROUNDED
```
public static final EquivalenceKernel GROUNDED
```
  - ADMISSIBLE
```
public static final EquivalenceKernel ADMISSIBLE
```
- Constructor Detail
  - EquivalenceKernel
```
public EquivalenceKernel()
```
- Method Detail
  - getKernel
```
public DungTheory getKernel(DungTheory theory)
```
    computes the kernel of the given AF
    
    Parameters:
    
    theory - a dung theory
    
    Returns:
    
    a dung theory representing the kernel of the given AF
  - getUselessAttacks
```
public abstract java.util.Collection<Attack> getUselessAttacks(DungTheory theory)
```
    compute the set of 'useless' attacks, i.e. all attacks that are are cut to retrieve the kernel of the AF
    
    Parameters:
    
    theory - a dung theory
    
    Returns:
    
    the set of useless attacks