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 TypeMethodDescriptionbooleanisEquivalent(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 setbooleanisEquivalent(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:
getDescriptionin interfaceEquivalence<T>- Returns:
- Description of the definition
-
isEquivalent
Description copied from interface:EquivalenceChecks whether the specified objects are equivalent, in a sense that every single object is equivalent to every other object in the set- Specified by:
isEquivalentin interfaceEquivalence<T>- Parameters:
objects- A collection of objects of the type-parameter- Returns:
- TRUE iff all objects are equivalent
-
isEquivalent
Description copied from interface:EquivalenceChecks whether the specified objects are equivalent- Specified by:
isEquivalentin interfaceEquivalence<T>- Parameters:
obj1- an object of the type-parameterobj2- an object of the type-parameter- Returns:
- true if both theories are equivalent
-