Uses of Class
org.tweetyproject.arg.dung.serialisability.semantics.SerialisationSequence
Package
Description
-
Uses of SerialisationSequence in org.tweetyproject.arg.dung.reasoner.serialisable
Modifier and TypeMethodDescriptionSerialisableExtensionReasoner.getSequences
(DungTheory bbase) Computes the set of serialisation sequences that each correspond to some extension wrt. -
Uses of SerialisationSequence in org.tweetyproject.arg.dung.serialisability.semantics
ModifierConstructorDescriptionSerialisationGraph
(DungTheory theory, Collection<SerialisationSequence> sequences, Semantics semantics) Construct a serialisation graph for the given argumentation framework and set of serialisation sequences -
Uses of SerialisationSequence in org.tweetyproject.arg.dung.serialisability.sequence
Modifier and TypeMethodDescriptionstatic void
SerialisationSequenceTest.CreateSequencesForTest
(SerialisationSequence out_seqAB11, SerialisationSequence out_seqAB12, SerialisationSequence out_seqAB2, SerialisationSequence out_seqBC, SerialisationSequence out_seqAB11BC, SerialisationSequence out_seqAB12BC, SerialisationSequence out_seqAB2BC, SerialisationSequence out_seqDE, SerialisationSequence out_seqED)