Package org.tweetyproject.arg.dung.equivalence

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 defines 'syntactic' equivalence of Argumentation Frameworks, i.e., it checks whether two AFs have exactly the same arguments and attacks.

Author:

Julian Sander

Constructor Summary

Constructors

Constructor	Description
IdentityEquivalence()

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

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 type Equivalence

obj2 - an object of type Equivalence

Returns:

true, iff both object are equivalent wrt. this equivalence notion

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

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