- Type Parameters:
B
- the bigraph type of the match
- All Known Implementing Classes:
PureBigraphParametricMatch
This interface represents a result of a bigraph matching and is used by the
BigraphMatchingEngine
in the
simulation module.- Author:
- Dominik Grzelak
-
Method Summary
Modifier and TypeMethodDescriptionThe context of the matchIdentity link graph for the composition of the context and the redex image (seegetRedexImage()
.getParam()
Get all parameters of the reaction rules as a listgetRedex()
Returns the redex of the reaction rule.Get the identity link graph of the redex to build the redex image.Returns the redex image - the juxtaposition of the redex and a suitable identity.boolean
-
Method Details
-
getContext
B getContext()The context of the match- Returns:
- the context
-
getContextIdentity
Identity link graph for the composition of the context and the redex image (seegetRedexImage()
.- Returns:
- the identity link graph for the context
-
getRedex
B getRedex()Returns the redex of the reaction rule.- Returns:
- the redex of the reaction rule
-
getRedexIdentity
Get the identity link graph of the redex to build the redex image.- Returns:
- the identity link graph of the redex
-
getRedexImage
B getRedexImage()Returns the redex image - the juxtaposition of the redex and a suitable identity.- Returns:
- the product of the redex and identity link graph
-
getParameters
Collection<B> getParameters()Get all parameters of the reaction rules as a list- Returns:
- the parameters of the reaction rule
-
getParam
B getParam() -
wasRewritten
boolean wasRewritten()
-