de.rwth.i2.attestor.graph.morphism

Class VF2GraphData

java.lang.Object

de.rwth.i2.attestor.graph.morphism.AbstractVF2GraphData

de.rwth.i2.attestor.graph.morphism.VF2GraphData

public class VF2GraphData
extends AbstractVF2GraphData

Field Summary

Fields inherited from class de.rwth.i2.attestor.graph.morphism.AbstractVF2GraphData

NULL_NODE

Constructor Summary

Constructors

Constructor and Description
VF2GraphData(Graph graph)
VF2GraphData(VF2GraphData data)

Method Summary

Modifier and Type	Method and Description
boolean	containsMatch(int node) Checks whether the partial morphism stored for the graph underlying this AbstractVF2GraphData containsSubsumingState a matching for the given node.
int	getMatch(int node) Get the matching node for the given node.
int[]	getMatching()
protected void	matchNode(int matchFrom, int matchTo)
protected void	unmatchNode(int node)

Methods inherited from class de.rwth.i2.attestor.graph.morphism.AbstractVF2GraphData

containsIngoing, containsIngoingUnmatched, containsOutgoing, containsOutgoingUnmatched, getGraph, getMatchingSize, getTerminalInSize, getTerminalOutSize

Methods inherited from class java.lang.Object

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

Constructor Detail

VF2GraphData

public VF2GraphData(Graph graph)

VF2GraphData

public VF2GraphData(VF2GraphData data)

Method Detail

matchNode

protected void matchNode(int matchFrom,
                         int matchTo)

Specified by:

matchNode in class AbstractVF2GraphData

unmatchNode

protected void unmatchNode(int node)

Specified by:

unmatchNode in class AbstractVF2GraphData

containsMatch

public boolean containsMatch(int node)

Description copied from class: AbstractVF2GraphData

Checks whether the partial morphism stored for the graph underlying this AbstractVF2GraphData containsSubsumingState a matching for the given node.

Specified by:

containsMatch in class AbstractVF2GraphData

Parameters:

node - The node that should be checked for a matching node.

Returns:

true if and only if the stored morphism already containsSubsumingState the given node.

getMatch

public int getMatch(int node)

Get the matching node for the given node. If the given node is not part of the partial Morphism stored in this AbstractVF2GraphData, this method returns null.

Parameters:

node - The node whose matching node is required.

Returns:

The matching node or null if no such node is known yet.

getMatching

public int[] getMatching()

Returns:

An array determining the currently stored matching from the underlying graph into the other graph.