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

Constructors

Constructor

Description

SerialisationEquivalenceBySequence(Equivalence<Collection<SerialisationSequence>> comparator, SerialisableExtensionReasoner reasoner)

*description missing*
Method Summary

Methods inherited from class org.tweetyproject.arg.dung.serialisibility.equivalence.SerialisationEquivalence
getDescription, isEquivalent, isEquivalent

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- SerialisationEquivalenceBySequence
  
  public SerialisationEquivalenceBySequence(Equivalence<Collection<SerialisationSequence>> comparator, SerialisableExtensionReasoner reasoner)
  
  *description missing*
  
  Parameters:
  
  comparator - *description missing*
  
  reasoner - Reasoner used to compute the sequences