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 Details

    • hasMatched

      protected boolean hasMatched

    • matches

      protected final org.eclipse.collections.api.list.MutableList<PureBigraphMatch> matches

    • reactionRule

      protected ReactionRule<PureBigraph> reactionRule

    • encoder

      protected final JLibBigBigraphEncoder encoder

    • jLibAgent

      protected it.uniud.mads.jlibbig.core.std.Bigraph jLibAgent

    • jLibRedex

      protected it.uniud.mads.jlibbig.core.std.Bigraph jLibRedex

    • agentMatcher

      protected it.uniud.mads.jlibbig.core.std.AgentMatcher agentMatcher

    • jLibMatchIterator

      protected Iterable<? extends it.uniud.mads.jlibbig.core.std.AgentMatch> jLibMatchIterator

  • Constructor Details

  • Method Details

    • getMatches

      public List<PureBigraphMatch> getMatches()
      Specified by:
      getMatches in interface BigraphMatchingEngine<PureBigraph>

    • 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

    • beginMatch

      protected void beginMatch()
      Computes all matches

      First, structural matching, afterward link matching

    • createMatchResult

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

    • createSingleMatchResult

      protected void createSingleMatchResult()