Uses of Interface
org.tweetyproject.arg.dung.serialisability.syntax.TerminationFunction

Packages that use TerminationFunction

Package	Description
org.tweetyproject.arg.dung.reasoner
org.tweetyproject.arg.dung.serialisability.syntax

Uses of TerminationFunction in org.tweetyproject.arg.dung.reasoner

Constructors in org.tweetyproject.arg.dung.reasoner with parameters of type TerminationFunction

Modifier	Constructor	Description
	SerialisedExtensionReasoner(SelectionFunction alpha, TerminationFunction beta)	Initializes a serialisation reasoner with the given selection and termination functions
	SerialisedExtensionReasoner(SelectionFunction alpha, TerminationFunction beta, Semantics semantics)	Initializes a serialisation reasoner with the given selection and termination functions and sets the semantics

Uses of TerminationFunction in org.tweetyproject.arg.dung.serialisability.syntax

Fields in org.tweetyproject.arg.dung.serialisability.syntax declared as TerminationFunction

Modifier and Type	Field	Description
static final TerminationFunction	TerminationFunction.ADMISSIBLE	Admissible termination function
static final TerminationFunction	TerminationFunction.COMPLETE	Complete termination function
static final TerminationFunction	TerminationFunction.PREFERRED	Preferred termination function
static final TerminationFunction	TerminationFunction.STABLE	Stable termination function
static final TerminationFunction	TerminationFunction.UNCHALLENGED	Unchallenged termination function