Package org.bigraphs.framework.core.reactivesystem

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

java.lang.Object

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

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

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

All Implemented Interfaces:

HasLabel, ReactionRule<B>

public class ConditionalParametricRuleDecorator<B extends Bigraph<? extends Signature<?>>>
extends ParametricReactionRule<B>

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static interface	ConditionalParametricRuleDecorator.RuleConditionMatcher<B extends Bigraph<? extends Signature<?>>>

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
ConditionalParametricRuleDecorator(ParametricReactionRule<B> reactionRule)
ConditionalParametricRuleDecorator(ParametricReactionRule<B> reactionRule, ConditionalParametricRuleDecorator.RuleConditionMatcher<B> conditionMatcher)

Method Summary

Modifier and Type	Method	Description
ConditionalParametricRuleDecorator.RuleConditionMatcher<B>	getConditionMatcher()
ParametricReactionRule<B>	getReactionRule()	Returns the underlying reaction rule.
boolean	isMatchValid(B theAgent, ReactionRule<B> theRule, BigraphMatch<B> match)

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

isProperParametricRule, isRedexSimple

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

Constructor Details

ConditionalParametricRuleDecorator

public ConditionalParametricRuleDecorator(ParametricReactionRule<B> reactionRule)
                                   throws InvalidReactionRuleException

Throws:

InvalidReactionRuleException

ConditionalParametricRuleDecorator

public ConditionalParametricRuleDecorator(ParametricReactionRule<B> reactionRule,
 ConditionalParametricRuleDecorator.RuleConditionMatcher<B> conditionMatcher)
                                   throws InvalidReactionRuleException

Throws:

InvalidReactionRuleException

Method Details

isMatchValid

public boolean isMatchValid(B theAgent,
 ReactionRule<B> theRule,
 BigraphMatch<B> match)

getReactionRule

public ParametricReactionRule<B> getReactionRule()

Returns the underlying reaction rule.

Returns:

the reaction rule of the conditional decorator

getConditionMatcher

public ConditionalParametricRuleDecorator.RuleConditionMatcher<B> getConditionMatcher()