Uses of Class
org.tweetyproject.arg.dung.serialisability.semantics.SerialisationSequence
Packages that use SerialisationSequence
Package
Description
-
Uses of SerialisationSequence in org.tweetyproject.arg.dung.reasoner.serialisable
Methods in org.tweetyproject.arg.dung.reasoner.serialisable that return types with arguments of type SerialisationSequenceModifier 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
Methods in org.tweetyproject.arg.dung.serialisability.semantics with parameters of type SerialisationSequenceConstructor parameters in org.tweetyproject.arg.dung.serialisability.semantics with type arguments of type SerialisationSequenceModifierConstructorDescriptionSerialisationGraph
(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
Methods in org.tweetyproject.arg.dung.serialisability.sequence with parameters of type SerialisationSequenceModifier 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)