Class SerialisationEquivalence<T>
java.lang.Object
org.tweetyproject.arg.dung.serialisibility.equivalence.SerialisationEquivalence<T>
- Type Parameters:
T
- *description missing*
- All Implemented Interfaces:
Equivalence<DungTheory>
- Direct Known Subclasses:
SerialisationEquivalenceByGraph
,SerialisationEquivalenceBySequence
,SerialisationEquivalenceByTransitionStateSequence
This class represents an comparator, which defines if 2 frameworks are equivalent,
by comparing their serialisability.
- Version:
- TweetyProject 1.23
- Author:
- Julian Sander
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionboolean
isEquivalent
(Collection<DungTheory> objects) Checks whether the specified objects are equivalent, in a sense that every single object is equivalent to every other object in the setboolean
isEquivalent
(DungTheory obj1, DungTheory obj2) Checks whether the specified objects are equivalent
-
Constructor Details
-
SerialisationEquivalence
- Parameters:
comparator
- Comparator used to define the equivalence of two graphs
-
-
Method Details
-
getDescription
- Specified by:
getDescription
in interfaceEquivalence<T>
- Returns:
- Description of the definition
-
isEquivalent
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 interfaceEquivalence<T>
- Parameters:
objects
- A collection of objects of the type-parameter- Returns:
- TRUE iff all objects are equivalent
-
isEquivalent
Description copied from interface:Equivalence
Checks whether the specified objects are equivalent- Specified by:
isEquivalent
in interfaceEquivalence<T>
- Parameters:
obj1
- an object of the type-parameterobj2
- an object of the type-parameter- Returns:
- true if both theories are equivalent
-