de.rwth.i2.attestor.graph.morphism

Class AbstractVF2GraphData

java.lang.Object

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

Direct Known Subclasses:

VF2GraphData

public abstract class AbstractVF2GraphData
extends Object

Collects all data required by VF2Algorithm during the search for a suitable matching for a single graph.

Author:

Christoph

Field Summary

Fields

Modifier and Type	Field and Description
protected static int	NULL_NODE Placeholder value representing that no node contained in a graph has been chosen yet.

Constructor Summary

Constructors

Constructor and Description
AbstractVF2GraphData(AbstractVF2GraphData data) Creates a shallow copy of the given AbstractVF2GraphData object.
AbstractVF2GraphData(Graph graph) Initializes an empty AbstractVF2GraphData object.

Method Summary

Modifier and Type	Method and Description
boolean	containsIngoing(int node)
boolean	containsIngoingUnmatched(int node) Checks whether the given node is reachable by in ingoing edge from a matched node, but has not been matched itself yet.
abstract boolean	containsMatch(int node) Checks whether the partial morphism stored for the graph underlying this AbstractVF2GraphData containsSubsumingState a matching for the given node.
boolean	containsOutgoing(int node)
boolean	containsOutgoingUnmatched(int node) Checks whether the given node is reachable by in outgoing edge from a matched node, but has not been matched itself yet.
Graph	getGraph()
int	getMatchingSize()
int	getTerminalInSize()
int	getTerminalOutSize()
protected abstract void	matchNode(int matchFrom, int matchTo)
protected abstract void	unmatchNode(int node)

Methods inherited from class java.lang.Object

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

Field Detail

NULL_NODE

protected static final int NULL_NODE

Placeholder value representing that no node contained in a graph has been chosen yet.

See Also:

Constant Field Values

Constructor Detail

AbstractVF2GraphData

public AbstractVF2GraphData(Graph graph)

Initializes an empty AbstractVF2GraphData object.

Parameters:

graph - The graph represented by this object.

AbstractVF2GraphData

public AbstractVF2GraphData(AbstractVF2GraphData data)

Creates a shallow copy of the given AbstractVF2GraphData object.

Parameters:

data - The AbstractVF2GraphData object that should be copied.

Method Detail

matchNode

protected abstract void matchNode(int matchFrom,
                                  int matchTo)

unmatchNode

protected abstract void unmatchNode(int node)

containsMatch

public abstract boolean containsMatch(int node)

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

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.

getGraph

public Graph getGraph()

Returns:

The graph underlying this AbstractVF2GraphData object.

containsIngoingUnmatched

public boolean containsIngoingUnmatched(int node)

Checks whether the given node is reachable by in ingoing edge from a matched node, but has not been matched itself yet.

Parameters:

node - The node that should be checked.

Returns:

true if and only if the stored morphism does not contain the given node yet, but the node is reachable via an ingoing edge from a matched node.

containsOutgoingUnmatched

public boolean containsOutgoingUnmatched(int node)

Checks whether the given node is reachable by in outgoing edge from a matched node, but has not been matched itself yet.

Parameters:

node - The node that should be checked.

Returns:

true if and only if the stored morphism does not contain the given node yet, but the node is reachable via an outgoing edge from a matched node.

containsOutgoing

public boolean containsOutgoing(int node)

containsIngoing

public boolean containsIngoing(int node)

getTerminalInSize

public int getTerminalInSize()

Returns:

The number of nodes not matched but reachable via an ingoing edge.

getTerminalOutSize

public int getTerminalOutSize()

Returns:

The number of nodes not matched but reachable via an outgoing edge.

getMatchingSize

public int getMatchingSize()

Returns:

The current size (and thus depth of the search tree) of the partial morphism stored in this AbstractVF2GraphData.