Package org.tweetyproject.arg.dung.equivalence

Class SerialisationEquivalence

java.lang.Object

org.tweetyproject.arg.dung.equivalence.SerialisationEquivalence

All Implemented Interfaces:

Equivalence<DungTheory>

public class SerialisationEquivalence
extends Object
implements Equivalence<DungTheory>

This class defines 'Serialisation' equivalence for Argumentation Frameworks wrt. some Semantics, i.e., two AFs are serialisation equivalent if they possess the same set of Serialisation Sequences wrt. some Semantics.

Author:

Julian Sander, Lars Bengel

Constructor Summary

Constructors

Constructor	Description
SerialisationEquivalence(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

SerialisationEquivalence

public SerialisationEquivalence(Semantics semantics)

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

Parameters:

semantics - some semantics

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