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<DynamicSignature> redexIdentity, PureBigraph paramWiring, Collection<PureBigraph> parameters)
PureBigraphParametricMatch(PureBigraph context, PureBigraph redex, PureBigraph redexImage, Collection<PureBigraph> parameters, Bigraph<DynamicSignature> redexIdentity, Bigraph<DynamicSignature> contextIdentity)	Deprecated.

Method Summary

Modifier and Type	Method	Description
PureBigraph	getContext()	The context of the match
Bigraph<DynamicSignature>	getContextIdentity()	Note: The return type is of class Bigraph with a DynamicSignature.
it.uniud.mads.jlibbig.core.std.Match	getJLibMatchResult()
PureBigraph	getParam()
Collection	getParameters()	Get all parameters of the reaction rules as a list
PureBigraph	getRedex()	Returns the redex of the reaction rule.
Bigraph<DynamicSignature>	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.
void	setContext(PureBigraph context)
void	setParam(PureBigraph param)
void	setRedexImage(PureBigraph redexImage)
boolean	wasRewritten()

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<DynamicSignature> redexIdentity,
 PureBigraph paramWiring,
 Collection<PureBigraph> parameters)

PureBigraphParametricMatch

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

Deprecated.

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

getParam

public PureBigraph getParam()

Specified by:

getParam in interface BigraphMatch<PureBigraph>

setParam

public void setParam(PureBigraph param)

wasRewritten

public boolean wasRewritten()

Specified by:

wasRewritten in interface BigraphMatch<PureBigraph>

getContext

public PureBigraph getContext()

Description copied from interface: BigraphMatch

The context of the match

Specified by:

getContext in interface BigraphMatch<PureBigraph>

Returns:

the context

setContext

public void setContext(PureBigraph context)

getContextIdentity

public Bigraph<DynamicSignature> getContextIdentity()

Note: The return type is of class Bigraph with a DynamicSignature. 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

setRedexImage

public void setRedexImage(PureBigraph redexImage)

getRedexIdentity

public Bigraph<DynamicSignature> 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