Class SerialisationEquivalence<T>

java.lang.Object
org.tweetyproject.arg.dung.serialisibility.equivalence.SerialisationEquivalence<T>
Type Parameters:
T - *description missing*
All Implemented Interfaces:
Equivalence<DungTheory>
Direct Known Subclasses:
SerialisationEquivalenceByGraph, SerialisationEquivalenceBySequence, SerialisationEquivalenceByTransitionStateSequence

public abstract class SerialisationEquivalence<T> extends Object implements Equivalence<DungTheory>
This class represents an comparator, which defines if 2 frameworks are equivalent, by comparing their serialisability.
Version:
TweetyProject 1.23
Author:
Julian Sander
  • Constructor Details

    • SerialisationEquivalence

      public SerialisationEquivalence(Equivalence<T> comparator)
      Parameters:
      comparator - Comparator used to define the equivalence of two graphs
  • Method Details

    • getDescription

      public String getDescription()
      Specified by:
      getDescription in interface Equivalence<T>
      Returns:
      Description of the definition
    • isEquivalent

      public boolean isEquivalent(Collection<DungTheory> objects)
      Description copied from interface: Equivalence
      Checks whether the specified objects are equivalent, in a sense that every single object is equivalent to every other object in the set
      Specified by:
      isEquivalent in interface Equivalence<T>
      Parameters:
      objects - A collection of objects of the type-parameter
      Returns:
      TRUE iff all objects are equivalent
    • isEquivalent

      public boolean isEquivalent(DungTheory obj1, DungTheory obj2)
      Description copied from interface: Equivalence
      Checks whether the specified objects are equivalent
      Specified by:
      isEquivalent in interface Equivalence<T>
      Parameters:
      obj1 - an object of the type-parameter
      obj2 - an object of the type-parameter
      Returns:
      true if both theories are equivalent