SerialisationEquivalenceByGraph

java.lang.Object

org.tweetyproject.arg.dung.serialisibility.equivalence.SerialisationEquivalence<SerialisationGraph>

org.tweetyproject.arg.dung.serialisibility.equivalence.SerialisationEquivalenceByGraph

All Implemented Interfaces:: Equivalence<DungTheory>

public class SerialisationEquivalenceByGraph extends SerialisationEquivalence<SerialisationGraph>

This class represents an comparator, which defines if 2 frameworks are equivalent, by comparing their serialisation graphs.

Version:: TweetyProject 1.23
Author:: Julian Sander

Constructor Summary

Constructors

Constructor

Description

SerialisationEquivalenceByGraph(Equivalence<SerialisationGraph> 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
- SerialisationEquivalenceByGraph
  
  public SerialisationEquivalenceByGraph(Equivalence<SerialisationGraph> comparator, SerialisableExtensionReasoner reasoner)
  Parameters:
  
  comparator -
  
  reasoner - Reasoner used to compute the graphs
  
  See Also:
  
  SerialisationEquivalence