Package org.bigraphs.framework.core.reactivesystem

Class ParametricReactionRule<B extends Bigraph<? extends Signature<?>>>

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, HasPriority, 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, priority, reactiveSystemAffili, reactum, redex, signature, trackingMap

Constructor Summary

Constructors

Constructor	Description
ParametricReactionRule(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 Type	Method	Description
boolean	isProperParametricRule()	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
boolean	isRedexSimple()	Checks whether the parametric redex is simple.

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

assertInstantiationMapIsWellDefined, assertIsProperParametricRule, assertRedexIsSimple, getInstantationMap, getLabel, getPriority, getReactum, getRedex, getSignature, getTrackingMap, isReversible, withInstantiationMap, withLabel, withPriority, 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.HasLabel

isDefined

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

isParametricRule

Constructor Details

ParametricReactionRule

public ParametricReactionRule(B redex,
 B reactum)
                       throws InvalidReactionRuleException

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, otherwise false

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, otherwise false