Class SerialisationEquivalenceByGraphIso
java.lang.Object
org.tweetyproject.arg.dung.serialisibility.equivalence.SerialisationEquivalenceByGraphIso
- All Implemented Interfaces:
Equivalence<SerialisationGraph>
public class SerialisationEquivalenceByGraphIso
extends Object
implements Equivalence<SerialisationGraph>
This class represents an comparator, which defines if 2 graphs are equivalent, by comparing if they're isomorphic.
- Version:
- TweetyProject 1.23
- Author:
- Julian Sander
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionboolean
isEquivalent
(Collection<SerialisationGraph> graphs) Checks whether the specified objects are equivalent, in a sense that every single object is equivalent to every other object in the setboolean
isEquivalent
(SerialisationGraph graph1, SerialisationGraph graph2) Checks whether the specified objects are equivalent
-
Constructor Details
-
SerialisationEquivalenceByGraphIso
public SerialisationEquivalenceByGraphIso()
-
-
Method Details
-
isEquivalent
Description copied from interface:Equivalence
Checks whether the specified objects are equivalent- Specified by:
isEquivalent
in interfaceEquivalence<SerialisationGraph>
- Parameters:
graph1
- an object of the type-parametergraph2
- an object of the type-parameter- Returns:
- true if both theories are equivalent
-
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<SerialisationGraph>
- Parameters:
graphs
- A collection of objects of the type-parameter- Returns:
- TRUE iff all objects are equivalent
-
getDescription
- Specified by:
getDescription
in interfaceEquivalence<SerialisationGraph>
- Returns:
- Description of the definition
-