Package org.bigraphs.framework.simulation.matching.pure

Class PureBigraphMatchingEngine

java.lang.Object

org.bigraphs.framework.simulation.matching.BigraphMatchingSupport

org.bigraphs.framework.simulation.matching.pure.PureBigraphMatchingEngine

All Implemented Interfaces:

BigraphMatchingEngine<PureBigraph>

public class PureBigraphMatchingEngine
extends BigraphMatchingSupport
implements BigraphMatchingEngine<PureBigraph>

Matching algorithm for pure bigraphs (see PureBigraph).

Author:

Dominik Grzelak

Field Summary

Fields inherited from class org.bigraphs.framework.simulation.matching.BigraphMatchingSupport

executorService

Method Summary

Modifier and Type	Method	Description
void	beginMatch()	Computes all matches
void	createMatchResult()	This methods builds the actual bigraphs determined by the matching algorithm (see beginMatch()).
List<PureBigraphParametricMatch>	getMatches()
boolean	hasMatched()	Checks if any match could be found and also if _all_ redex roots could be matched.

Methods inherited from class org.bigraphs.framework.simulation.matching.BigraphMatchingSupport

buildEmptySimpleDirectedGraph, createBipartiteGraph, getSubBigraphFrom, isSameControl

Methods inherited from class java.lang.Object

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

Method Details

getMatches

public List<PureBigraphParametricMatch> getMatches()

Specified by:

getMatches in interface BigraphMatchingEngine<PureBigraph>

beginMatch

public void beginMatch()

Computes all matches

First, structural matching, afterwards link matching

createMatchResult

public void createMatchResult()

This methods builds the actual bigraphs determined by the matching algorithm (see beginMatch()).

hasMatched

public boolean hasMatched()

Checks if any match could be found and also if _all_ redex roots could be matched.

Returns:

true, if a correct match could be found, otherwise false