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

Packages that use EquivalenceKernel

Package	Description
org.tweetyproject.arg.dung.equivalence
org.tweetyproject.arg.dung.equivalence.kernel

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

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

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

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

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

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

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

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

Methods in org.tweetyproject.arg.dung.equivalence.kernel that return EquivalenceKernel

Modifier and Type	Method	Description
static EquivalenceKernel	EquivalenceKernel.getKernelForSemantics(Semantics semantics)	Returns the corresponding kernel for the specified semantics