Package org.tweetyproject.arg.dung.serialisability.semantics

package org.tweetyproject.arg.dung.serialisability.semantics

Classes

Class	Description
SerialisationGraph	A Graph-based representation of the Serialisation Sequences of some Argumentation Framework wrt.
SerialisationSequence	Representation of a serialisation sequence, i.e., a sequence of initial sets of the respective reducts.
SerialisationState	Representation of a 'state' in the serialisation process, consisting of the current DungTheory and a (partial) Extension.