Uses of Interface
org.tweetyproject.arg.dung.equivalence.Equivalence

Packages that use Equivalence

Package	Description
org.tweetyproject.arg.dung.equivalence
org.tweetyproject.arg.dung.equivalence.classes
org.tweetyproject.arg.dung.examples
org.tweetyproject.arg.dung.serialisibility.equivalence

Uses of Equivalence in org.tweetyproject.arg.dung.equivalence

Classes in org.tweetyproject.arg.dung.equivalence that implement Equivalence

Modifier and Type	Class	Description
class	IdentityEquivalence	This class represents an comparator, which defines if 2 argumentation frameworks are equivalent, by comparing if they are equal.
class	StandardEquivalence	This class represents an comparator, which defines if 2 argumentation frameworks are equivalent, by comparing if they have the same extensions wrt a semantics specified by a reasoner.
class	StrongEquivalence	Models strong equivalence wrt.

Constructors in org.tweetyproject.arg.dung.equivalence with parameters of type Equivalence

Modifier	Constructor	Description
	EquivalenceCompExFinder(Equivalence<DungTheory> equivalence1, Equivalence<DungTheory> equivalence2, DecisionMaker decisionMaker)

Uses of Equivalence in org.tweetyproject.arg.dung.equivalence.classes

Methods in org.tweetyproject.arg.dung.equivalence.classes that return Equivalence

Modifier and Type	Method	Description
Equivalence<DungTheory>	EquivalenceClassifier.getEquivalence()

Constructors in org.tweetyproject.arg.dung.equivalence.classes with parameters of type Equivalence

Modifier	Constructor	Description
	EquivalenceClassifier(Equivalence<DungTheory> equivalence, String path)	*description missing*

Uses of Equivalence in org.tweetyproject.arg.dung.examples

Methods in org.tweetyproject.arg.dung.examples with parameters of type Equivalence

Modifier and Type	Method	Description
static void	EquivalenceCompExFinderExample.saveExamples(Semantics semanticsUsed1, Semantics semanticsUsed2, Equivalence<DungTheory> equivalence1, Equivalence<DungTheory> equivalence2, String path, String idSeries, int indexInSeries, int numFstFramesGenerated, ZonedDateTime timeStampProcessStart, DungTheory framework1, DungTheory framework2, ZonedDateTime timeStampProcessFinished)	*description missing*

Uses of Equivalence in org.tweetyproject.arg.dung.serialisibility.equivalence

Classes in org.tweetyproject.arg.dung.serialisibility.equivalence that implement Equivalence

Modifier and Type	Class	Description
class	SerialisationEquivalence<T>	This class represents an comparator, which defines if 2 frameworks are equivalent, by comparing their serialisability.
class	SerialisationEquivalenceByGraph	This class represents an comparator, which defines if 2 frameworks are equivalent, by comparing their serialisation graphs.
class	SerialisationEquivalenceByGraphIso	This class represents an comparator, which defines if 2 graphs are equivalent, by comparing if they're isomorphic.
class	SerialisationEquivalenceByGraphNaiv	This class represents an comparator, which defines if 2 graphs are equivalent, by comparing their set of nodes.
class	SerialisationEquivalenceBySequence	This class represents an comparator, which defines if 2 frameworks are equivalent, by comparing their serialisation sequences.
class	SerialisationEquivalenceBySequenceNaiv	This class represents an comparator, which defines if 2 sets of sequences are equivalent.
class	SerialisationEquivalenceByTransitionStateSequence	This class represents an comparator, which defines if 2 frameworks are equivalent, by comparing their sequences of transition states.
class	SerialisationEquivalenceByTransitionStateSequenceNaiv	This class represents an comparator, which defines if 2 sets of TransitionStateSequences are equivalent.

Constructors in org.tweetyproject.arg.dung.serialisibility.equivalence with parameters of type Equivalence

Modifier	Constructor	Description
	SerialisationEquivalence(Equivalence<T> comparator)
	SerialisationEquivalenceByGraph(Equivalence<SerialisationGraph> comparator, SerialisableExtensionReasoner reasoner)
	SerialisationEquivalenceBySequence(Equivalence<Collection<SerialisationSequence>> comparator, SerialisableExtensionReasoner reasoner)	*description missing*
	SerialisationEquivalenceByTransitionStateSequence(Equivalence<Collection<TransitionStateSequence>> comparator, SerialisableExtensionReasoner reasoner)