Uses of Class
org.tweetyproject.arg.dung.syntax.TransitionState

Packages that use TransitionState

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

Uses of TransitionState in org.tweetyproject.arg.dung.reasoner.serialisable

Methods in org.tweetyproject.arg.dung.reasoner.serialisable with parameters of type TransitionState

Modifier and Type	Method	Description
abstract boolean	SerialisableExtensionReasoner.terminationFunction(TransitionState state)	Checks whether the current state satisfies some condition, i.e.
boolean	SerialisedAdmissibleReasoner.terminationFunction(TransitionState state)
boolean	SerialisedCompleteReasoner.terminationFunction(TransitionState state)	a set is accepted iff the corresponding AF of the state has no unattacked arguments
boolean	SerialisedPreferredReasoner.terminationFunction(TransitionState state)	a set S is accepted, iff the AF of the state has no initial extensions
boolean	SerialisedStableReasoner.terminationFunction(TransitionState state)	A set S is accepted iff the AF of the state is empty
boolean	SerialisedUnchallengedReasoner.terminationFunction(TransitionState state)	terminate if there is no unattacked or unchallenged initial set remaining

Uses of TransitionState in org.tweetyproject.arg.dung.syntax

Methods in org.tweetyproject.arg.dung.syntax that return TransitionState

Modifier and Type	Method	Description
TransitionState	TransitionState.getNext(Extension<DungTheory> ext)	compute the successor state for the given extension