Uses of Class
org.tweetyproject.arg.dung.equivalence.EquivalenceKernel
-
Uses of EquivalenceKernel in org.tweetyproject.arg.dung.equivalence
Modifier and TypeClassDescriptionclass
Kernel SK = (A, R') for strong equivalence wrt.class
Kernel SK = (A, R') for strong equivalence wrt.class
Kernel SK = (A, R') for strong equivalence wrt.class
Kernel SK = (A, R') for strong equivalence wrt.Modifier and TypeFieldDescriptionstatic EquivalenceKernel
EquivalenceKernel.ADMISSIBLE
ADMISSIBLEstatic EquivalenceKernel
EquivalenceKernel.COMPLETE
COMPLETEstatic EquivalenceKernel
EquivalenceKernel.GROUNDED
GROUNDEDstatic EquivalenceKernel
EquivalenceKernel.STABLE
STABLEModifierConstructorDescriptionStrongEquivalence(EquivalenceKernel kernel)
initialize Equivalence with the given kernel