Package org.tweetyproject.arg.dung.equivalence

Class StandardEquivalence

java.lang.Object
org.tweetyproject.arg.dung.equivalence.StandardEquivalence
All Implemented Interfaces:
Equivalence<DungTheory>
public class StandardEquivalence extends Object implements Equivalence<DungTheory>
This class represents an comparator, which defines if 2 argumentation frameworks are equivalent, by comparing if they have the same extensions wrt a semantics specified by a reasoner.
Version:
TweetyProject 1.23
Author:
Julian Sander

  • Constructor Details

    • StandardEquivalence

      public StandardEquivalence(AbstractExtensionReasoner reasoner)
      Parameters:
      reasoner - Reasoner used to compute the extensions of a argumentation framework, in order to examine its equivalence

  • Method Details

    • getDescription

      public String getDescription()
      Specified by:
      getDescription in interface Equivalence<DungTheory>
      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<DungTheory>
      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<DungTheory>
      Parameters:
      obj1 - an object of the type-parameter
      obj2 - an object of the type-parameter
      Returns:
      true if both theories are equivalent