Class SerialisationEquivalenceBySequence
java.lang.Object
org.tweetyproject.arg.dung.serialisibility.equivalence.SerialisationEquivalence<Collection<SerialisationSequence>>
org.tweetyproject.arg.dung.serialisibility.equivalence.SerialisationEquivalenceBySequence
- All Implemented Interfaces:
Equivalence<DungTheory>
public class SerialisationEquivalenceBySequence
extends SerialisationEquivalence<Collection<SerialisationSequence>>
This class represents an comparator, which defines if 2 frameworks are equivalent,
by comparing their serialisation sequences.
- Version:
- TweetyProject 1.23
- Author:
- Julian Sander
-
Constructor Summary
ConstructorDescriptionSerialisationEquivalenceBySequence
(Equivalence<Collection<SerialisationSequence>> comparator, SerialisableExtensionReasoner reasoner) *description missing* -
Method Summary
Methods inherited from class org.tweetyproject.arg.dung.serialisibility.equivalence.SerialisationEquivalence
getDescription, isEquivalent, isEquivalent
-
Constructor Details
-
SerialisationEquivalenceBySequence
public SerialisationEquivalenceBySequence(Equivalence<Collection<SerialisationSequence>> comparator, SerialisableExtensionReasoner reasoner) *description missing*- Parameters:
comparator
- *description missing*reasoner
- Reasoner used to compute the sequences
-