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,T>	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.
BMatchResult<B extends Bigraph<? extends Signature<?>>>	Generic interface for bigraph rewriting matching results.
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.
HasPriority	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<?>>>	This data structure represents a "reaction graph", analogous to a labeled transition system.
ReactionGraph.CanonicalLabeledNode
ReactionGraph.CollapsedLabeledEdge
ReactionGraph.CollapsedLabeledNode
ReactionGraph.DefaultLabeledNode
ReactionGraph.LabeledEdge
ReactionGraph.LabeledNode
ReactionGraphCollapsed<B extends Bigraph<? extends Signature<?>>>	This class represents a "collapsed", "reduced" reaction graph, possibly consolidated by a minimization algorithm (e.g., bisim minimization).
ReactionGraphStats<B extends Bigraph<? extends Signature<?>>>
ReactionRule<B extends Bigraph<? extends Signature<?>>>	Common interface for reaction rules.
ReactionRuleComposer<R extends ReactionRule<?>>
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).