Package org.tweetyproject.arg.dung.equivalence

Class StrongEquivalence

java.lang.Object

org.tweetyproject.arg.dung.equivalence.StrongEquivalence

All Implemented Interfaces:

Equivalence<DungTheory>, EquivalentTheories<DungTheory>

public class StrongEquivalence
extends Object
implements Equivalence<DungTheory>, EquivalentTheories<DungTheory>

Models strong equivalence wrt. to a given kernel

Author:

Lars Bengel

Constructor Summary

Constructors

Constructor	Description
StrongEquivalence(EquivalenceKernel kernel)	initialize Equivalence with the given kernel

Method Summary

Modifier and Type	Method	Description
String	getDescription()
Collection<DungTheory>	getEquivalentTheories(DungTheory baseTheory)	compute all strongly equivalent theories for the the given theory i.e.
boolean	isEquivalent(Collection<DungTheory> theories)	Checks whether the specified objects are equivalent, in a sense that every single object is equivalent to every other object in the set
boolean	isEquivalent(DungTheory theory1, DungTheory theory2)	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

StrongEquivalence

public StrongEquivalence(EquivalenceKernel kernel)

initialize Equivalence with the given kernel

Parameters:

kernel - an equivalence kernel

Method Details

isEquivalent

public boolean isEquivalent(DungTheory theory1,
 DungTheory theory2)

Description copied from interface: Equivalence

Checks whether the specified objects are equivalent

Specified by:

isEquivalent in interface Equivalence<DungTheory>

Parameters:

theory1 - an object of the type-parameter

theory2 - an object of the type-parameter

Returns:

true if both theories are equivalent

isEquivalent

public boolean isEquivalent(Collection<DungTheory> theories)

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:

theories - A collection of objects of the type-parameter

Returns:

TRUE iff all objects are equivalent

getEquivalentTheories

public Collection<DungTheory> getEquivalentTheories(DungTheory baseTheory)

compute all strongly equivalent theories for the the given theory i.e. get all useless attacks of theory and use them to create other strongly equivalent theories

Specified by:

getEquivalentTheories in interface EquivalentTheories<DungTheory>

Parameters:

baseTheory - a dung theory

Returns:

the collection of strongly equivalent theories

getDescription

public String getDescription()

Specified by:

getDescription in interface Equivalence<DungTheory>

Returns:

Description of the definition