Package org.bigraphs.framework.simulation.matching.pure

Class PureBigraphParametricMatch

java.lang.Object

org.bigraphs.framework.simulation.matching.pure.PureBigraphParametricMatch

All Implemented Interfaces:

BigraphMatch<PureBigraph>

public class PureBigraphParametricMatch
extends Object
implements BigraphMatch<PureBigraph>

This class represents the result of a valid match. It contains all required elements to perform the rewriting step later.

Author:

Dominik Grzelak

See Also:

• AbstractSimpleReactiveSystem

Constructor Summary

Constructors

Constructor	Description
PureBigraphParametricMatch(it.uniud.mads.jlibbig.core.std.Match jLibMatchResult, PureBigraph context, PureBigraph redex, PureBigraph redexImage, Bigraph<DefaultDynamicSignature> redexIdentity, PureBigraph paramWiring, Collection<PureBigraph> parameters)
PureBigraphParametricMatch(PureBigraph context, PureBigraph redex, PureBigraph redexImage, Collection<PureBigraph> parameters, Bigraph<DefaultDynamicSignature> redexIdentity, Bigraph<DefaultDynamicSignature> contextIdentity)

Method Summary

Modifier and Type	Method	Description
PureBigraph	getContext()	The context of the match
Bigraph<DefaultDynamicSignature>	getContextIdentity()	Note: The return type is of class Bigraph with a DefaultDynamicSignature.
it.uniud.mads.jlibbig.core.std.Match	getJLibMatchResult()
Collection	getParameters()	Get all parameters of the reaction rules as a list
PureBigraph	getRedex()	Returns the redex of the reaction rule.
Bigraph<DefaultDynamicSignature>	getRedexIdentity()	Get the identity link graph of the redex to build the redex image.
PureBigraph	getRedexImage()	Returns the redex image - the juxtaposition of the redex and a suitable identity.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

PureBigraphParametricMatch

public PureBigraphParametricMatch(it.uniud.mads.jlibbig.core.std.Match jLibMatchResult,
 PureBigraph context,
 PureBigraph redex,
 PureBigraph redexImage,
 Bigraph<DefaultDynamicSignature> redexIdentity,
 PureBigraph paramWiring,
 Collection<PureBigraph> parameters)

PureBigraphParametricMatch

public PureBigraphParametricMatch(PureBigraph context,
 PureBigraph redex,
 PureBigraph redexImage,
 Collection<PureBigraph> parameters,
 Bigraph<DefaultDynamicSignature> redexIdentity,
 Bigraph<DefaultDynamicSignature> contextIdentity)

Method Details

getJLibMatchResult

public it.uniud.mads.jlibbig.core.std.Match getJLibMatchResult()

getParameters

public Collection getParameters()

Description copied from interface: BigraphMatch

Get all parameters of the reaction rules as a list

Specified by:

getParameters in interface BigraphMatch<PureBigraph>

Returns:

the parameters of the reaction rule

getContext

public PureBigraph getContext()

Description copied from interface: BigraphMatch

The context of the match

Specified by:

getContext in interface BigraphMatch<PureBigraph>

Returns:

the context

getContextIdentity

public Bigraph<DefaultDynamicSignature> getContextIdentity()

Note: The return type is of class Bigraph with a DefaultDynamicSignature. We cannot cast it to a pure bigraph because it may also be an elementary bigraph (in the form of a pure bigraph type)

Specified by:

getContextIdentity in interface BigraphMatch<PureBigraph>

Returns:

the identity link graph

getRedex

public PureBigraph getRedex()

Description copied from interface: BigraphMatch

Returns the redex of the reaction rule.

Specified by:

getRedex in interface BigraphMatch<PureBigraph>

Returns:

the redex of the reaction rule

getRedexImage

public PureBigraph getRedexImage()

Description copied from interface: BigraphMatch

Returns the redex image - the juxtaposition of the redex and a suitable identity.

Specified by:

getRedexImage in interface BigraphMatch<PureBigraph>

Returns:

the product of the redex and identity link graph

getRedexIdentity

public Bigraph<DefaultDynamicSignature> getRedexIdentity()

Description copied from interface: BigraphMatch

Get the identity link graph of the redex to build the redex image.

Specified by:

getRedexIdentity in interface BigraphMatch<PureBigraph>

Returns:

the identity link graph of the redex