Class AbstractReactionRule.ReactiveSystemBoundReactionRule<B extends Bigraph<? extends Signature<?>>>
java.lang.Object
org.bigraphs.framework.core.reactivesystem.AbstractReactionRule<B>
org.bigraphs.framework.core.reactivesystem.AbstractReactionRule.ReactiveSystemBoundReactionRule<B>
- All Implemented Interfaces:
HasLabel,ReactionRule<B>
- Enclosing class:
- AbstractReactionRule<B extends Bigraph<? extends Signature<?>>>
public static class AbstractReactionRule.ReactiveSystemBoundReactionRule<B extends Bigraph<? extends Signature<?>>>
extends AbstractReactionRule<B>
-
Nested Class Summary
Nested classes/interfaces inherited from class org.bigraphs.framework.core.reactivesystem.AbstractReactionRule
AbstractReactionRule.ReactiveSystemBoundReactionRule<B extends Bigraph<? extends Signature<?>>> -
Field Summary
Fields inherited from class org.bigraphs.framework.core.reactivesystem.AbstractReactionRule
canReverse, instantiationMap, label, reactiveSystemAffili, reactum, redex, signature, trackingMap -
Method Summary
Methods inherited from class org.bigraphs.framework.core.reactivesystem.AbstractReactionRule
assertInstantiationMapIsWellDefined, assertIsProperParametricRule, assertRedexIsSimple, getInstantationMap, getLabel, getReactum, getRedex, getSignature, getTrackingMap, isReversible, withLabel, withReactiveSystem, withTrackingMapMethods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitMethods inherited from interface org.bigraphs.framework.core.reactivesystem.ReactionRule
isParametricRule, isProperParametricRule, isRedexSimple
-
Method Details
-
getBoundedReactiveSystem
-
getRule
-