Package org.bigraphs.framework.core.reactivesystem

Interface BMatchResult<B extends Bigraph<? extends Signature<?>>>

Type Parameters:
B - type of the underlying bigraph
All Known Implementing Classes:
ModelCheckingStrategySupport.MatchResult
public interface BMatchResult<B extends Bigraph<? extends Signature<?>>>
Generic interface for bigraph rewriting matching results.
Author:
Dominik Grzelak

  • Method Details

    • getReactionRule

      ReactionRule<B> getReactionRule()

    • getMatch

      BigraphMatch<B> getMatch()

    • getBigraph

      B getBigraph()
      This stores the rewritten bigraph for reference
      Returns:

    • getOccurrenceCount

      int getOccurrenceCount()

    • getCanonicalString

      String getCanonicalString()
      Get the canonical string of the agent for this match result
      Returns: