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

package org.tweetyproject.arg.dung.serialisibility.syntax

Classes

Class	Description
SerialisationGraph	This class represents a graph visualising the different Extension during the generation process of serialisable extensions.
SerialisationSequence	This class represents a sequence of sets of arguments.
TransitionState	A state of the transition system for serialised semantics It consists of an argumentation framework and a set of arguments
TransitionStateSequence	This class represents a sequence of TransitionStates.