java.lang.Object
org.bigraphs.framework.core.reactivesystem.AbstractReactionRule<B>
org.bigraphs.framework.core.reactivesystem.ParametricReactionRule<B>
- Type Parameters:
B
- type of the bigraph
- All Implemented Interfaces:
HasLabel
,ReactionRule<B>
- Direct Known Subclasses:
ConditionalParametricRuleDecorator
public class ParametricReactionRule<B extends Bigraph<? extends Signature<?>>>
extends AbstractReactionRule<B>
Concrete implementation of a parametric reaction rule.
- Author:
- Dominik Grzelak
-
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
-
Constructor Summary
ConstructorDescriptionParametricReactionRule
(B redex, B reactum) ParametricReactionRule
(B redex, B reactum, boolean isReversible) ParametricReactionRule
(B redex, B reactum, InstantiationMap instantiationMap) ParametricReactionRule
(B redex, B reactum, InstantiationMap instantiationMap, boolean isReversible) -
Method Summary
Modifier and TypeMethodDescriptionboolean
Checks if a parametric reaction rule is well-defined subject to the constraints: Redex and Reactum are lean (=no idle edges) R has no idle roots R has no idle namesboolean
Checks whether the parametric redex is simple.Methods inherited from class org.bigraphs.framework.core.reactivesystem.AbstractReactionRule
assertInstantiationMapIsWellDefined, assertIsProperParametricRule, assertRedexIsSimple, getInstantationMap, getLabel, getReactum, getRedex, getSignature, getTrackingMap, isReversible, withLabel, withReactiveSystem, withTrackingMap
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.ReactionRule
isParametricRule
-
Constructor Details
-
ParametricReactionRule
- Throws:
InvalidReactionRuleException
-
ParametricReactionRule
public ParametricReactionRule(B redex, B reactum, InstantiationMap instantiationMap) throws InvalidReactionRuleException - Throws:
InvalidReactionRuleException
-
ParametricReactionRule
public ParametricReactionRule(B redex, B reactum, InstantiationMap instantiationMap, boolean isReversible) throws InvalidReactionRuleException - Throws:
InvalidReactionRuleException
-
ParametricReactionRule
public ParametricReactionRule(B redex, B reactum, boolean isReversible) throws InvalidReactionRuleException - Throws:
InvalidReactionRuleException
-
-
Method Details
-
isProperParametricRule
public boolean isProperParametricRule()Description copied from interface:ReactionRule
Checks if a parametric reaction rule is well-defined subject to the constraints:- Redex and Reactum are lean (=no idle edges)
- R has no idle roots
- R has no idle names
- Returns:
true
if the parametric reaction rule is well-defined, otherwisefalse
-
isRedexSimple
public boolean isRedexSimple()Description copied from interface:ReactionRule
Checks whether the parametric redex is simple.- Returns:
true
if the redex of the reaction rule is simple, otherwisefalse
-