Package org.bigraphs.framework.core.reactivesystem

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

java.lang.Object

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

org.bigraphs.framework.core.reactivesystem.AbstractSimpleReactiveSystem.TransitionSystemBoundSimpleReactiveSystem<B>

Type Parameters:

B - type of the bigraph

All Implemented Interfaces:

ReactiveSystem<B>

Enclosing class:

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

public static class AbstractSimpleReactiveSystem.TransitionSystemBoundSimpleReactiveSystem<B extends Bigraph<? extends Signature<?>>>
extends AbstractSimpleReactiveSystem<B>

A bigraphical reactive system (BRS) bounded to a reaction graph. This data object is usually generated as a result of a simulation process for evaluating the results later.

This class is thread-safe.

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
TransitionSystemBoundSimpleReactiveSystem(ReactionGraph<B> reactionGraph, AbstractSimpleReactiveSystem<B> reactiveSystem)

Method Summary

Modifier and Type	Method	Description
B	buildGroundReaction(B agent, BigraphMatch<B> match, ReactionRule<B> rule)
B	buildParametricReaction(B agent, BigraphMatch<B> match, ReactionRule<B> rule)
ReactionGraph<B>	getReactionGraph()

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

TransitionSystemBoundSimpleReactiveSystem

public TransitionSystemBoundSimpleReactiveSystem(ReactionGraph<B> reactionGraph,
 AbstractSimpleReactiveSystem<B> reactiveSystem)

Method Details

getReactionGraph

public ReactionGraph<B> getReactionGraph()

buildGroundReaction

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

Specified by:

buildGroundReaction in interface ReactiveSystem<B extends Bigraph<? extends Signature<?>>>

Specified by:

buildGroundReaction in class AbstractSimpleReactiveSystem<B extends Bigraph<? extends Signature<?>>>

buildParametricReaction

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

Specified by:

buildParametricReaction in interface ReactiveSystem<B extends Bigraph<? extends Signature<?>>>

Specified by:

buildParametricReaction in class AbstractSimpleReactiveSystem<B extends Bigraph<? extends Signature<?>>>