Class PureReactiveSystem
java.lang.Object
org.bigraphs.framework.core.reactivesystem.AbstractSimpleReactiveSystem<PureBigraph>
org.bigraphs.framework.simulation.matching.pure.PureReactiveSystem
- All Implemented Interfaces:
ReactiveSystem<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:
-
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 -
Method Summary
Modifier and TypeMethodDescriptionbuildGroundReaction
(PureBigraph agent, BigraphMatch<PureBigraph> match, ReactionRule<PureBigraph> rule) 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 interfaceReactiveSystem<PureBigraph>
- Specified by:
buildGroundReaction
in classAbstractSimpleReactiveSystem<PureBigraph>
-
buildParametricReaction
public PureBigraph buildParametricReaction(PureBigraph agent, BigraphMatch<PureBigraph> match, ReactionRule<PureBigraph> rule) - Specified by:
buildParametricReaction
in interfaceReactiveSystem<PureBigraph>
- Specified by:
buildParametricReaction
in classAbstractSimpleReactiveSystem<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.
-