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

Class PureReactiveSystem

java.lang.Object

org.bigraphs.framework.core.reactivesystem.AbstractSimpleReactiveSystem<PureBigraph>

org.bigraphs.framework.simulation.matching.pure.PureReactiveSystem

All Implemented Interfaces:

ReactiveSystem<PureBigraph>

public class PureReactiveSystem
extends AbstractSimpleReactiveSystem<PureBigraph>

An implementation of an AbstractSimpleReactiveSystem providing a simple BRS data structure for pure bigraphs (see PureBigraph) and possibly later also binding bigraphs, bigraphs with sharing etc.

Uses some functionality from jLibBig.

Author:

Dominik Grzelak

See Also:

• PureBigraph

Nested Class Summary

Nested classes/interfaces inherited from class org.bigraphs.framework.core.reactivesystem.AbstractSimpleReactiveSystem

AbstractSimpleReactiveSystem.TransitionSystemBoundSimpleReactiveSystem<B extends Bigraph<? extends Signature<?>>>

Field Summary

Fields inherited from class org.bigraphs.framework.core.reactivesystem.AbstractSimpleReactiveSystem

initialAgent, predicateMap, reactionRules

Constructor Summary

Constructors

Constructor	Description
PureReactiveSystem()

Method Summary

Modifier and Type	Method	Description
PureBigraph	buildGroundReaction(PureBigraph agent, BigraphMatch<PureBigraph> match, ReactionRule<PureBigraph> rule)
PureBigraph	buildParametricReaction(PureBigraph agent, BigraphMatch<PureBigraph> match, ReactionRule<PureBigraph> rule)
protected final it.uniud.mads.jlibbig.core.std.Bigraph	instantiateReactum(it.uniud.mads.jlibbig.core.std.Match match, ReactionRule<PureBigraph> rule)	Instantiates rule's reactum with respect to the given match.
protected void	instantiateReactumNode(it.uniud.mads.jlibbig.core.std.Node original, it.uniud.mads.jlibbig.core.std.Node instance, it.uniud.mads.jlibbig.core.std.Match match)	This method is called during the instantiation of rule's reactum.
protected final it.uniud.mads.jlibbig.core.std.Bigraph	instantiateReactumV2(it.uniud.mads.jlibbig.core.std.Match match, ReactionRule<PureBigraph> rule)

Methods inherited from class org.bigraphs.framework.core.reactivesystem.AbstractSimpleReactiveSystem

addPredicate, addReactionRule, assertAgentIsGround, assertAgentIsPrime, assertNoIdleOuterName, assertParametricRedexIsSimple, copyAttributes, getAgent, getPredicateMap, getPredicates, getReactionRules, getReactionRulesMap, getSignature, hasIdleOuterNames, setAgent

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.bigraphs.framework.core.reactivesystem.ReactiveSystem

isSimple

Constructor Details

PureReactiveSystem

public PureReactiveSystem()

Method Details

buildGroundReaction

public PureBigraph buildGroundReaction(PureBigraph agent,
 BigraphMatch<PureBigraph> match,
 ReactionRule<PureBigraph> rule)

Specified by:

buildGroundReaction in interface ReactiveSystem<PureBigraph>

Specified by:

buildGroundReaction in class AbstractSimpleReactiveSystem<PureBigraph>

buildParametricReaction

public PureBigraph buildParametricReaction(PureBigraph agent,
 BigraphMatch<PureBigraph> match,
 ReactionRule<PureBigraph> rule)

Specified by:

buildParametricReaction in interface ReactiveSystem<PureBigraph>

Specified by:

buildParametricReaction in class AbstractSimpleReactiveSystem<PureBigraph>

instantiateReactum

protected final it.uniud.mads.jlibbig.core.std.Bigraph instantiateReactum(it.uniud.mads.jlibbig.core.std.Match match,
 ReactionRule<PureBigraph> rule)

Instantiates rule's reactum with respect to the given match.

Parameters:

match - the match with respect to the reactum has to be instantiated.

Returns:

the reactum instance.

instantiateReactumV2

protected final it.uniud.mads.jlibbig.core.std.Bigraph instantiateReactumV2(it.uniud.mads.jlibbig.core.std.Match match,
 ReactionRule<PureBigraph> rule)

instantiateReactumNode

protected void instantiateReactumNode(it.uniud.mads.jlibbig.core.std.Node original,
 it.uniud.mads.jlibbig.core.std.Node instance,
 it.uniud.mads.jlibbig.core.std.Match match)

This method is called during the instantiation of rule's reactum. Inherit this method to customise instantiation of Nodes e.g. attaching properties taken from nodes in the redex image determined by the given match.

Parameters:

original - The original node from the reactum.

instance - The replica to be used.

match - The match referred by the instantiation.