Package org.tweetyproject.arg.dung.equivalence.classes

Class EquivalenceClassifier

java.lang.Object
org.tweetyproject.arg.dung.equivalence.classes.EquivalenceClassifier
public class EquivalenceClassifier extends Object
This class is responsible for classifying abstract argumentation frameworks due to their equivalence
Version:
TweetyProject 1.23
Author:
Julian Sander

  • Constructor Details

    • EquivalenceClassifier

      public EquivalenceClassifier(Equivalence<DungTheory> equivalence, String path)
      *description missing*
      Parameters:
      equivalence - *description missing*
      path - *description missing*

  • Method Details

    • examineNewTheory

      public boolean examineNewTheory(DungTheory framework)
      Examines a specified argumentation framework wrt a possible new class
      Parameters:
      framework - Argumentation framework, which is a candidate for a new equivalence class
      Returns:
      TRUE iff a new class was added to the classifier

    • getEquivalenceClass

      public DungTheory getEquivalenceClass(DungTheory framework) throws ClassNotFoundException
      Parameters:
      framework - Framework, to which an equivalence class shall be found
      Returns:
      A abstract argumentation framework, representing the equivalence class of the specified framework
      Throws:
      ClassNotFoundException - Thrown if no suitable equivalence class was found

    • getClasses

      public DungTheory[] getClasses()
      Returns:
      Array of abstract argumentation frameworks. Each represents one equivalence class.

    • getEquivalence

      public Equivalence<DungTheory> getEquivalence()
      Returns:
      The equivalence definition used by this classifier