Uses of Class
org.tweetyproject.arg.dung.syntax.TransitionState
Package
Description
-
Uses of TransitionState in org.tweetyproject.arg.dung.reasoner.serialisable
Modifier and TypeMethodDescriptionabstract 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 argumentsboolean
SerialisedPreferredReasoner.terminationFunction
(TransitionState state) a set S is accepted, iff the AF of the state has no initial extensionsboolean
SerialisedStableReasoner.terminationFunction
(TransitionState state) A set S is accepted iff the AF of the state is emptyboolean
SerialisedUnchallengedReasoner.terminationFunction
(TransitionState state) terminate if there is no unattacked or unchallenged initial set remaining -
Uses of TransitionState in org.tweetyproject.arg.dung.syntax
Modifier and TypeMethodDescriptionTransitionState.getNext
(Extension<DungTheory> ext) compute the successor state for the given extension