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

Packages that use TransitionState

Package	Description
org.tweetyproject.arg.dung.serialisibility.syntax

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

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

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

Methods in org.tweetyproject.arg.dung.serialisibility.syntax with parameters of type TransitionState

Modifier and Type	Method	Description
void	TransitionStateSequence.add(int index, TransitionState element)
boolean	TransitionStateSequence.add(TransitionState element)