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 TypeMethodDescriptionvoid
Computes all matchesvoid
This methods builds the actual bigraphs determined by the matching algorithm (seebeginMatch()
).boolean
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
-
Method Details
-
getMatches
- Specified by:
getMatches
in interfaceBigraphMatchingEngine<PureBigraph>
-
beginMatch
public void beginMatch()Computes all matchesFirst, structural matching, afterwards link matching
-
createMatchResult
public void createMatchResult()This methods builds the actual bigraphs determined by the matching algorithm (seebeginMatch()
). -
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, otherwisefalse
-