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 TypeClassDescriptionclassKernel AK for strong equivalence wrt.classKernel CK for strong equivalence wrt.classKernel GK for strong equivalence wrt.classKernel SK for strong equivalence wrt.classKernel AK for strong expansion equivalence wrt.classKernel CK for strong equivalence wrt.classKernel GK for strong expansion equivalence wrt.Fields in org.tweetyproject.arg.dung.equivalence.kernel declared as EquivalenceKernelModifier and TypeFieldDescriptionstatic final EquivalenceKernelEquivalenceKernel.ADMISSIBLEADMISSIBLE kernelstatic final EquivalenceKernelEquivalenceKernel.COMPLETECOMPLETE kernelstatic final EquivalenceKernelEquivalenceKernel.GROUNDEDGROUNDED kernelstatic final EquivalenceKernelEquivalenceKernel.SE_ADMISSIBLEStrong Expansion ADMISSIBLE kernelstatic final EquivalenceKernelEquivalenceKernel.SE_COMPLETEStrong Expansion COMPLETE kernelstatic final EquivalenceKernelEquivalenceKernel.SE_GROUNDEDStrong Expansion GROUNDED kernelstatic final EquivalenceKernelEquivalenceKernel.STABLESTABLE kernelMethods in org.tweetyproject.arg.dung.equivalence.kernel that return EquivalenceKernelModifier and TypeMethodDescriptionstatic EquivalenceKernelEquivalenceKernel.getStrongEquivalenceKernelForSemantics(Semantics semantics) Returns the corresponding strong equivalence kernel for the specified semantics