Package org.bigraphs.framework.core.reactivesystem

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

java.lang.Object

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

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

Type Parameters:

B - type of the bigraph

All Implemented Interfaces:

HasLabel, ReactionRule<B>

public class GroundReactionRule<B extends Bigraph<? extends Signature<?>>>
extends AbstractReactionRule<B>

Concrete implementation of a ground 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

Constructors

Constructor	Description
GroundReactionRule(B redex, B reactum)

Method Summary

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.HasLabel

isDefined

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

isParametricRule, isProperParametricRule, isRedexSimple

Constructor Details

GroundReactionRule

public GroundReactionRule(B redex,
 B reactum)
                   throws InvalidReactionRuleException

Throws:

InvalidReactionRuleException