SerialisationEquivalenceByTransitionStateSequence

java.lang.Object

org.tweetyproject.arg.dung.serialisibility.equivalence.SerialisationEquivalence<Collection<TransitionStateSequence>>

org.tweetyproject.arg.dung.serialisibility.equivalence.SerialisationEquivalenceByTransitionStateSequence

All Implemented Interfaces:: Equivalence<DungTheory>

public class SerialisationEquivalenceByTransitionStateSequence extends SerialisationEquivalence<Collection<TransitionStateSequence>>

This class represents an comparator, which defines if 2 frameworks are equivalent, by comparing their sequences of transition states.

Version:: TweetyProject 1.23
Author:: Julian Sander

Constructor Summary

Constructors

Constructor

Description

SerialisationEquivalenceByTransitionStateSequence(Equivalence<Collection<TransitionStateSequence>> comparator, SerialisableExtensionReasoner reasoner)
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
- SerialisationEquivalenceByTransitionStateSequence
  
  public SerialisationEquivalenceByTransitionStateSequence(Equivalence<Collection<TransitionStateSequence>> comparator, SerialisableExtensionReasoner reasoner)
  
  Parameters:
  
  comparator - *description missing*
  
  reasoner - Reasoner used to compute the SerialisationSequences