Class CompleteKernel


  • public class CompleteKernel
    extends EquivalenceKernel
    Kernel SK = (A, R') for strong equivalence wrt. complete semantics R' = R \ { (a, b) | a!=b, (a,a) in R, (b,b) in R }
    Author:
    Lars Bengel
    • Constructor Summary

      Constructors 
      Constructor Description
      CompleteKernel()  
    • Method Summary

      Modifier and Type Method Description
      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
    • Constructor Detail

      • CompleteKernel

        public CompleteKernel()
    • Method Detail

      • getUselessAttacks

        public java.util.Collection<Attack> getUselessAttacks​(DungTheory theory)
        Description copied from class: EquivalenceKernel
        compute the set of 'useless' attacks, i.e. all attacks that are are cut to retrieve the kernel of the AF
        Specified by:
        getUselessAttacks in class EquivalenceKernel
        Parameters:
        theory - a dung theory
        Returns:
        the set of useless attacks