Package org.bigraphs.framework.core.reactivesystem

package org.bigraphs.framework.core.reactivesystem

Related Packages

Package	Description
org.bigraphs.framework.core
org.bigraphs.framework.core.reactivesystem.analysis

Class	Description
AbstractReactionRule<B extends Bigraph<? extends Signature<?>>>	This base class represents an immutable data structure for all kinds of reaction rules.
AbstractReactionRule.ReactiveSystemBoundReactionRule<B extends Bigraph<? extends Signature<?>>>
AbstractSimpleReactiveSystem<B extends Bigraph<? extends Signature<?>>>	Abstract class of a "nice and simple" bigraphical reactive system (BRS).
AbstractSimpleReactiveSystem.TransitionSystemBoundSimpleReactiveSystem<B extends Bigraph<? extends Signature<?>>>	A bigraphical reactive system (BRS) bounded to a reaction graph.
AbstractTransitionSystem<B extends Bigraph<? extends Signature<?>>>	Abstract base class representing the minimal data structure for all concrete transition system implementations.
BigraphMatch<B extends Bigraph<? extends Signature<?>>>	This interface represents a result of a bigraph matching and is used by the BigraphMatchingEngine in the simulation module.
ConditionalParametricRuleDecorator<B extends Bigraph<? extends Signature<?>>>
ConditionalParametricRuleDecorator.RuleConditionMatcher<B extends Bigraph<? extends Signature<?>>>
GroundReactionRule<B extends Bigraph<? extends Signature<?>>>	Concrete implementation of a ground reaction rule.
HasLabel	Marker interface that indicates the object has a label.
InstantiationMap	An instantiation map for a parametric reaction rule.
ParametricReactionRule<B extends Bigraph<? extends Signature<?>>>	Concrete implementation of a parametric reaction rule.
ReactionGraph<B extends Bigraph<? extends Signature<?>>>	An "extended" data structure to build up a "reaction graph", analogous to a labeled transition system.
ReactionGraph.CanonicalLabeledNode
ReactionGraph.DefaultLabeledNode
ReactionGraph.LabeledEdge
ReactionGraph.LabeledNode
ReactionGraphStats<B extends Bigraph<? extends Signature<?>>>
ReactionRule<B extends Bigraph<? extends Signature<?>>>	Common interface for reaction rules.
ReactiveSystem<B extends Bigraph<? extends Signature<?>>>	Base interface for bigraphical reactive systems.
ReactiveSystemPredicate<B extends Bigraph<? extends Signature<?>>>	Predicate interface for the reaction graph.
TrackingMap	Tracking map for reaction rules.
TransitionTriple<B extends Bigraph<? extends Signature<?>>>	A transition of a labelled transition system is a triple containing the source and target and the label (i.e., the arrow itself which is a bigraph as well).