de.rwth.i2.attestor.graph.morphism

Class VF2State

java.lang.Object

de.rwth.i2.attestor.graph.morphism.VF2State

public class VF2State
extends Object

Captures a current, possibly incomplete, candidate for a graph morphism that is constructed step by step by a VF2Algorithm. In particular, VF2State supports method backtrack() to reset it to its previous state.

Author:

Christoph

Constructor Summary

Constructors

Constructor and Description
VF2State(Graph patternGraph, Graph targetGraph) Computes a new initial state from two graphs

Method Summary

Modifier and Type	Method and Description
void	addCandidate(int p, int t) Adds a new candidate to the underlying partial matching.
void	backtrack() Undoes the last change to the state.
VF2GraphData	getPattern()
int	getPatternCandidate()
VF2GraphData	getTarget()
int	getTargetCandidate()
boolean	nextCandidate() Computes the next candidate pair to be considered.
VF2State	shallowCopy()

Methods inherited from class java.lang.Object

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

Constructor Detail

VF2State

public VF2State(Graph patternGraph,
                Graph targetGraph)

Computes a new initial state from two graphs

Parameters:

patternGraph - The pattern graph that should be mapped into the target graph.

targetGraph - The target graph.

Method Detail

shallowCopy

public VF2State shallowCopy()

Returns:

A shallow copy of this state.

getPattern

public VF2GraphData getPattern()

Returns:

The data stored for the pattern graph within this state.

getTarget

public VF2GraphData getTarget()

Returns:

The data stored for the target graph within this state.

backtrack

public void backtrack()

Undoes the last change to the state.

addCandidate

public void addCandidate(int p,
                         int t)

Adds a new candidate to the underlying partial matching.

Parameters:

p - The pattern candidate to add to the matching described by this state.

t - The target candidate to add to the matching described by this state.

nextCandidate

public boolean nextCandidate()

Computes the next candidate pair to be considered. This pair is accessible through the methodExecution getPatternCandidate() and getTargetCandidate().

Returns:

True if and only if another candidate pair has been found.

getPatternCandidate

public int getPatternCandidate()

getTargetCandidate

public int getTargetCandidate()