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	ADMISSIBLE
static EquivalenceKernel	EquivalenceKernel.COMPLETE	COMPLETE
static EquivalenceKernel	EquivalenceKernel.GROUNDED	GROUNDED
static EquivalenceKernel	EquivalenceKernel.STABLE	STABLE

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

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