org.eclipse.emf.henshin.interpreter.util
Class EGraphIsomorphyChecker

java.lang.Object
  org.eclipse.emf.henshin.interpreter.util.EGraphIsomorphyChecker

public class EGraphIsomorphyChecker
extends Object

A graph isomorphy checker for EGraphs.

Constructor Summary

EGraphIsomorphyChecker(EGraph source, List<EAttribute> ignoredAttributes)
Default constructor.

Method Summary

boolean

isIsomorphicTo(EGraph graph, Map<EObject,EObject> partialMatch) Check whether the argument graph is isomorphic to the source graph.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

EGraphIsomorphyChecker

public EGraphIsomorphyChecker(EGraph source,
                              List<EAttribute> ignoredAttributes)

Default constructor.

Parameters:

source - Source graph.

useAttributes - Flag indicating whether attribute values should be used.

Method Detail

isIsomorphicTo

public boolean isIsomorphicTo(EGraph graph,
                              Map<EObject,EObject> partialMatch)

Check whether the argument graph is isomorphic to the source graph.

Parameters:

graph - Graph for which you want to check isomorphy.

partialMatch - Optional partial match from source to the argument graph.

Returns:

true if the source and the graph are isomorphic.