Uses of Class
org.tweetyproject.arg.dung.equivalence.EquivalenceKernel

Packages that use EquivalenceKernel

Package	Description
org.tweetyproject.arg.dung.equivalence

Uses of EquivalenceKernel in org.tweetyproject.arg.dung.equivalence

Subclasses of EquivalenceKernel in org.tweetyproject.arg.dung.equivalence

Modifier and Type	Class	Description
class	AdmissibleKernel	Kernel SK = (A, R') for strong equivalence wrt.
class	CompleteKernel	Kernel SK = (A, R') for strong equivalence wrt.
class	GroundedKernel	Kernel SK = (A, R') for strong equivalence wrt.
class	StableKernel	Kernel SK = (A, R') for strong equivalence wrt.

Fields in org.tweetyproject.arg.dung.equivalence declared as EquivalenceKernel

Modifier and Type	Field	Description
static EquivalenceKernel	EquivalenceKernel.ADMISSIBLE
static EquivalenceKernel	EquivalenceKernel.COMPLETE
static EquivalenceKernel	EquivalenceKernel.GROUNDED
static EquivalenceKernel	EquivalenceKernel.STABLE

Constructors in org.tweetyproject.arg.dung.equivalence with parameters of type EquivalenceKernel

Constructor	Description
StrongEquivalence(EquivalenceKernel kernel)	initialize Equivalence with the given kernel