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 defines 'standard' equivalence for Argumentation Frameworks wrt. some Semantics, i.e., two AFs are standard equivalent if they possess the same set of Extensions wrt. some Semantics.

Author:: Julian Sander

Constructor Summary

Constructors

Constructor

Description

StandardEquivalence(Semantics semantics)

Initializes a new instance of this equivalence notion for the given semantics
Method Summary

Modifier and Type

Method

Description

String

getName()

Return the name of this equivalence notion

boolean

isEquivalent(Collection<DungTheory> objects)

Checks whether the specified collection of objects are pairwise equivalent

boolean

isEquivalent(DungTheory obj1, DungTheory obj2)

Checks whether the specified objects are equivalent

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- StandardEquivalence
  
  public StandardEquivalence(Semantics semantics)
  
  Initializes a new instance of this equivalence notion for the given semantics
  
  Parameters:
  
  semantics - some semantics
Method Details
- isEquivalent
  
  public boolean isEquivalent(Collection<DungTheory> objects)
  
  Description copied from interface: Equivalence
  
  Checks whether the specified collection of objects are pairwise equivalent
  
  Specified by:
  
  isEquivalent in interface Equivalence<DungTheory>
  
  Parameters:
  
  objects - A collection of objects of type Equivalence
  
  Returns:
  
  true, iff all objects are equivalent wrt. this equivalence notion
- 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 type Equivalence
  
  obj2 - an object of type Equivalence
  
  Returns:
  
  true, iff both object are equivalent wrt. this equivalence notion
- getName
  
  public String getName()
  
  Description copied from interface: Equivalence
  
  Return the name of this equivalence notion
  
  Specified by:
  
  getName in interface Equivalence<DungTheory>
  
  Returns:
  
  name of this equivalence notion