Uses of Class
org.tweetyproject.arg.dung.equivalence.kernel.EquivalenceKernel
Packages that use EquivalenceKernel
Package
Description
-
Uses of EquivalenceKernel in org.tweetyproject.arg.dung.equivalence
Constructors in org.tweetyproject.arg.dung.equivalence with parameters of type EquivalenceKernelModifierConstructorDescriptionInitialize Normal Expansion Equivalence with the given kernelStrongEquivalence
(EquivalenceKernel kernel) Initialize Strong Equivalence with the given kernelInitialize Strong Expansion Equivalence with the given kernel -
Uses of EquivalenceKernel in org.tweetyproject.arg.dung.equivalence.kernel
Subclasses of EquivalenceKernel in org.tweetyproject.arg.dung.equivalence.kernelModifier and TypeClassDescriptionclass
Kernel AK for strong equivalence wrt.class
Kernel CK for strong equivalence wrt.class
Kernel GK for strong equivalence wrt.class
Kernel SK for strong equivalence wrt.class
Kernel AK for strong expansion equivalence wrt.class
Kernel CK for strong equivalence wrt.class
Kernel GK for strong expansion equivalence wrt.Fields in org.tweetyproject.arg.dung.equivalence.kernel declared as EquivalenceKernelModifier and TypeFieldDescriptionstatic final EquivalenceKernel
EquivalenceKernel.ADMISSIBLE
ADMISSIBLE kernelstatic final EquivalenceKernel
EquivalenceKernel.COMPLETE
COMPLETE kernelstatic final EquivalenceKernel
EquivalenceKernel.GROUNDED
GROUNDED kernelstatic final EquivalenceKernel
EquivalenceKernel.SE_ADMISSIBLE
Strong Expansion ADMISSIBLE kernelstatic final EquivalenceKernel
EquivalenceKernel.SE_COMPLETE
Strong Expansion COMPLETE kernelstatic final EquivalenceKernel
EquivalenceKernel.SE_GROUNDED
Strong Expansion GROUNDED kernelstatic final EquivalenceKernel
EquivalenceKernel.STABLE
STABLE kernelMethods in org.tweetyproject.arg.dung.equivalence.kernel that return EquivalenceKernelModifier and TypeMethodDescriptionstatic EquivalenceKernel
EquivalenceKernel.getStrongEquivalenceKernelForSemantics
(Semantics semantics) Returns the corresponding strong equivalence kernel for the specified semantics