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

Packages that use EquivalenceKernel

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

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 Equivalence with the given kernel

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

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

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.
class	StrongAdmissibleKernel	Kernel SK = (A, R') for strong equivalence wrt.
class	UnchallengedKernel	Kernel SK = (A, R') for strong equivalence wrt.

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

Modifier and Type	Field	Description
static final EquivalenceKernel	EquivalenceKernel.ADMISSIBLE	ADMISSIBLE
static final EquivalenceKernel	EquivalenceKernel.COMPLETE	COMPLETE
static final EquivalenceKernel	EquivalenceKernel.GROUNDED	GROUNDED
static final EquivalenceKernel	EquivalenceKernel.STABLE	STABLE
static final EquivalenceKernel	EquivalenceKernel.STRONGADMISSIBLE	STRONG ADMISSIBLE
static final EquivalenceKernel	EquivalenceKernel.UNCHALLENGED	UNCHALLENGED

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

Modifier and Type	Method	Description
static EquivalenceKernel	EquivalenceKernel.getKernel(Semantics semantics)	Returns a suitable kernel for the specified semantics