Class StrongEquivalence
- java.lang.Object
-
- org.tweetyproject.arg.dung.equivalence.StrongEquivalence
-
public class StrongEquivalence extends java.lang.Object
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 java.util.Collection<DungTheory>
getStronglyEquivalentTheories(DungTheory theory)
compute all strongly equivalent theories for the the given theory i.e.java.util.Collection<DungTheory>
getStronglyEquivalentTheoriesNaive(DungTheory baseTheory)
compute all strongly equivalent theories for the given theory i.e.boolean
isStronglyEquivalent(java.util.Collection<DungTheory> theories)
compute whether the given theories are equivalent wrt.boolean
isStronglyEquivalent(DungTheory theory1, DungTheory theory2)
compute whether the given theories are equivalent wrt.
-
-
-
Constructor Detail
-
StrongEquivalence
public StrongEquivalence(EquivalenceKernel kernel)
initialize Equivalence with the given kernel- Parameters:
kernel
- an equivalence kernel
-
-
Method Detail
-
isStronglyEquivalent
public boolean isStronglyEquivalent(DungTheory theory1, DungTheory theory2)
compute whether the given theories are equivalent wrt. the kernel- Parameters:
theory1
- a dung theorytheory2
- a dung theory- Returns:
- true if both theories are equivalent wrt. to the kernel
-
isStronglyEquivalent
public boolean isStronglyEquivalent(java.util.Collection<DungTheory> theories)
compute whether the given theories are equivalent wrt. the kernel- Parameters:
theories
- a collection of dung theories- Returns:
- true if all theories are equivalent wrt. to the kernel
-
getStronglyEquivalentTheories
public java.util.Collection<DungTheory> getStronglyEquivalentTheories(DungTheory theory)
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- Parameters:
theory
- a dung theory- Returns:
- the collection of strongly equivalent theories
-
getStronglyEquivalentTheoriesNaive
public java.util.Collection<DungTheory> getStronglyEquivalentTheoriesNaive(DungTheory baseTheory)
compute all strongly equivalent theories for the given theory i.e. enumerate all theories and compare to the base theory- Parameters:
baseTheory
- a dung theory- Returns:
- collection of strongly equivalent theories
-
-