de.rwth.i2.attestor.graph.morphism

Class Morphism

java.lang.Object

de.rwth.i2.attestor.graph.morphism.Morphism

public class Morphism
extends Object

Implementation of a morphism between two Graphs. In this setting, a morphism corresponds to a mapping between nodes of a pattern graph to nodes of a target graph.

Author:

Christoph

Constructor Summary

Constructors

Constructor and Description
Morphism(int[] mapping) Initializes the morphism

Method Summary

Modifier and Type	Method and Description
int	match(int patternNode) Provides the target node corresponding to a given pattern node.

Methods inherited from class java.lang.Object

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

Constructor Detail

Morphism

public Morphism(int[] mapping)

Initializes the morphism

Parameters:

mapping - The mapping between node identifiers of a pattern graph and a target graph.

Method Detail

match

public int match(int patternNode)

Provides the target node corresponding to a given pattern node.

Parameters:

patternNode - A node in the pattern graph.

Returns:

The corresponding node in the target graph.