Uses of Package
org.bigraphs.framework.core.reactivesystem
Package
Description
-
-
-
-
ClassDescriptionAbstract class of a "nice and simple" bigraphical reactive system (BRS).Concrete implementation of a parametric reaction rule.Base interface for bigraphical reactive systems.
-
-
ClassDescriptionThis base class represents an immutable data structure for all kinds of reaction rules.Abstract class of a "nice and simple" bigraphical reactive system (BRS).Abstract base class representing the minimal data structure for all concrete transition system implementations.This interface represents a result of a bigraph matching and is used by the
BigraphMatchingEngine
in the simulation module.Marker interface that indicates the object has a label.An instantiation map for a parametric reaction rule.Concrete implementation of a parametric reaction rule.An "extended" data structure to build up a "reaction graph", analogous to a labeled transition system.Common interface for reaction rules.Base interface for bigraphical reactive systems.Predicate interface for the reaction graph.Tracking map for reaction rules. -
ClassDescriptionAn "extended" data structure to build up a "reaction graph", analogous to a labeled transition system.
-
-
ClassDescriptionAbstract base class representing the minimal data structure for all concrete transition system implementations.An "extended" data structure to build up a "reaction graph", analogous to a labeled transition system.
-
ClassDescriptionThis interface represents a result of a bigraph matching and is used by the
BigraphMatchingEngine
in the simulation module.Common interface for reaction rules. -
ClassDescriptionAbstract class of a "nice and simple" bigraphical reactive system (BRS).This interface represents a result of a bigraph matching and is used by the
BigraphMatchingEngine
in the simulation module.Common interface for reaction rules.Base interface for bigraphical reactive systems. -
ClassDescriptionThis interface represents a result of a bigraph matching and is used by the
BigraphMatchingEngine
in the simulation module.An "extended" data structure to build up a "reaction graph", analogous to a labeled transition system.Common interface for reaction rules.Base interface for bigraphical reactive systems.Predicate interface for the reaction graph. -
ClassDescriptionMarker interface that indicates the object has a label.Predicate interface for the reaction graph.
-
-
ClassDescriptionAn "extended" data structure to build up a "reaction graph", analogous to a labeled transition system.Base interface for bigraphical reactive systems.