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()
Bigraph<DefaultDynamicSignature>	getContextIdentity()	Note: The return type is of class Bigraph with a DefaultDynamicSignature.
it.uniud.mads.jlibbig.core.std.Match	getJLibMatchResult()
Collection	getParameters()
PureBigraph	getRedex()
Bigraph<DefaultDynamicSignature>	getRedexIdentity()
PureBigraph	getRedexImage()

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()

Specified by:

getParameters in interface BigraphMatch<PureBigraph>

getContext

public PureBigraph getContext()

Specified by:

getContext in interface BigraphMatch<PureBigraph>

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()

Specified by:

getRedex in interface BigraphMatch<PureBigraph>

getRedexImage

public PureBigraph getRedexImage()

Specified by:

getRedexImage in interface BigraphMatch<PureBigraph>

getRedexIdentity

public Bigraph<DefaultDynamicSignature> getRedexIdentity()

Specified by:

getRedexIdentity in interface BigraphMatch<PureBigraph>