Class IdentityEquivalence

java.lang.Object
org.tweetyproject.arg.dung.equivalence.IdentityEquivalence
All Implemented Interfaces:
Equivalence<DungTheory>

public class IdentityEquivalence extends Object implements Equivalence<DungTheory>
This class represents an comparator, which defines if 2 argumentation frameworks are equivalent, by comparing if they are equal.
Version:
TweetyProject 1.23
Author:
Julian Sander
  • Constructor Details

    • IdentityEquivalence

      public IdentityEquivalence()
  • Method Details

    • 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<DungTheory>
      Parameters:
      obj1 - an object of the type-parameter
      obj2 - an object of the type-parameter
      Returns:
      true if both theories are equivalent
    • 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<DungTheory>
      Parameters:
      objects - A collection of objects of the type-parameter
      Returns:
      TRUE iff all objects are equivalent
    • getDescription

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