- All Known Implementing Classes:
AbstractSimpleReactiveSystem
,AbstractSimpleReactiveSystem.TransitionSystemBoundSimpleReactiveSystem
,PureReactiveSystem
Base interface for bigraphical reactive systems.
When a reactive system is executed based on a rule set then it synthesizes a labelled transition system which represents the behavior of the bigraphical reactive system.
The interface offers methods to build the result of a reaction.
- Author:
- Dominik Grzelak
-
Method Summary
Modifier and TypeMethodDescriptionbuildGroundReaction
(B agent, BigraphMatch<B> match, ReactionRule<B> rule) buildParametricReaction
(B agent, BigraphMatch<B> match, ReactionRule<B> rule) getAgent()
com.google.common.collect.BiMap<String,
ReactiveSystemPredicate<B>> Return the labels of the transition system which are called reaction rules for BRS.com.google.common.collect.BiMap<String,
ReactionRule<B>> default boolean
isSimple()
Checks whether the bigraphical reactive system is simple.
-
Method Details
-
getReactionRules
Collection<ReactionRule<B>> getReactionRules()Return the labels of the transition system which are called reaction rules for BRS.- Returns:
- the labels of the transition system
-
getReactionRulesMap
com.google.common.collect.BiMap<String,ReactionRule<B>> getReactionRulesMap() -
getAgent
B getAgent() -
getSignature
Signature getSignature() -
getPredicates
Collection<ReactiveSystemPredicate<B>> getPredicates() -
getPredicateMap
com.google.common.collect.BiMap<String,ReactiveSystemPredicate<B>> getPredicateMap() -
buildGroundReaction
-
buildParametricReaction
-
isSimple
default boolean isSimple()Checks whether the bigraphical reactive system is simple. A BRS is simple if all its reaction rules are so.- Returns:
true
if the BRS is simple, otherwisefalse
-