java.lang.Object
org.bigraphs.framework.simulation.modelchecking.ModelCheckingStrategySupport.MatchResult<B>
- All Implemented Interfaces:
BMatchResult<B>
- Enclosing class:
- ModelCheckingStrategySupport<B extends Bigraph<? extends Signature<?>>>
public static class ModelCheckingStrategySupport.MatchResult<B extends Bigraph<? extends Signature<?>>>
extends Object
implements BMatchResult<B>
-
Constructor Summary
ConstructorsConstructorDescriptionMatchResult
(ReactionRule<B> reactionRule, BigraphMatch<B> next, B bigraph, String bfcf, int occurrenceCount) -
Method Summary
Modifier and TypeMethodDescriptionThis stores the rewritten bigraph for referenceThe canonical encoding of the agent for this match resultgetMatch()
int
void
setCanonicalStringOfResult
(String canonicalStringOfResult)
-
Constructor Details
-
MatchResult
public MatchResult(ReactionRule<B> reactionRule, BigraphMatch<B> next, B bigraph, String bfcf, int occurrenceCount)
-
-
Method Details
-
getReactionRule
- Specified by:
getReactionRule
in interfaceBMatchResult<B extends Bigraph<? extends Signature<?>>>
-
getMatch
- Specified by:
getMatch
in interfaceBMatchResult<B extends Bigraph<? extends Signature<?>>>
-
getBigraph
This stores the rewritten bigraph for reference- Specified by:
getBigraph
in interfaceBMatchResult<B extends Bigraph<? extends Signature<?>>>
- Returns:
-
getOccurrenceCount
public int getOccurrenceCount()- Specified by:
getOccurrenceCount
in interfaceBMatchResult<B extends Bigraph<? extends Signature<?>>>
-
getCanonicalString
The canonical encoding of the agent for this match result- Specified by:
getCanonicalString
in interfaceBMatchResult<B extends Bigraph<? extends Signature<?>>>
- Returns:
-
setCanonicalStringOfResult
-