Class CompleteKernel

java.lang.Object
org.tweetyproject.arg.dung.equivalence.EquivalenceKernel
org.tweetyproject.arg.dung.equivalence.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 Details

    • CompleteKernel

      public CompleteKernel()
  • Method Details