Uses of Package
org.bigraphs.framework.core.reactivesystem
Packages that use org.bigraphs.framework.core.reactivesystem
Package
Description
This package contains adapters for external Java libraries related to analysis, transition systems, etc.
-
Classes in org.bigraphs.framework.core.reactivesystem used by org.bigraphs.framework.converterClassDescriptionAbstract base class representing the minimal data structure for all concrete transition system implementations.Base interface for bigraphical reactive systems.
-
Classes in org.bigraphs.framework.core.reactivesystem used by org.bigraphs.framework.converter.bigmc
-
-
Classes in org.bigraphs.framework.core.reactivesystem used by org.bigraphs.framework.converter.bigredClassDescriptionAbstract class of a "nice and simple" bigraphical reactive system (BRS).Concrete implementation of a parametric reaction rule.Base interface for bigraphical reactive systems.
-
Classes in org.bigraphs.framework.core.reactivesystem used by org.bigraphs.framework.converter.dotClassDescriptionThis data structure represents a "reaction graph", analogous to a labeled transition system.
-
Classes in org.bigraphs.framework.core.reactivesystem used by org.bigraphs.framework.converter.ecore
-
Classes in org.bigraphs.framework.core.reactivesystem used by org.bigraphs.framework.core.reactivesystemClassDescriptionThis 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.Inner class representing a transition relation.This interface represents a result of a bigraph matching and is used by the
BigraphMatchingEnginein the simulation module.Generic interface for bigraph rewriting matching results.Marker interface that indicates the object has a label.Marker interface that indicates the object has a label.An instantiation map for a parametric reaction rule.Concrete implementation of a parametric reaction rule.This data structure represents a "reaction graph", analogous to a labeled transition system.Common interface for reaction rules.Utility class to compose reaction rules into a new single rule.Base interface for bigraphical reactive systems.Predicate interface for the reaction graph.Tracking map for reaction rules. -
Classes in org.bigraphs.framework.core.reactivesystem used by org.bigraphs.framework.core.reactivesystem.analysisClassDescriptionThis data structure represents a "reaction graph", analogous to a labeled transition system.
-
Classes in org.bigraphs.framework.core.reactivesystem used by org.bigraphs.framework.core.utils
-
Classes in org.bigraphs.framework.core.reactivesystem used by org.bigraphs.framework.simulation.equivalenceClassDescriptionAbstract base class representing the minimal data structure for all concrete transition system implementations.This data structure represents a "reaction graph", analogous to a labeled transition system.
-
Classes in org.bigraphs.framework.core.reactivesystem used by org.bigraphs.framework.simulation.equivalence.adapterClassDescriptionAbstract base class representing the minimal data structure for all concrete transition system implementations.This data structure represents a "reaction graph", analogous to a labeled transition system.
-
Classes in org.bigraphs.framework.core.reactivesystem used by org.bigraphs.framework.simulation.matchingClassDescriptionThis interface represents a result of a bigraph matching and is used by the
BigraphMatchingEnginein the simulation module.Common interface for reaction rules. -
Classes in org.bigraphs.framework.core.reactivesystem used by org.bigraphs.framework.simulation.matching.pureClassDescriptionAbstract class of a "nice and simple" bigraphical reactive system (BRS).This interface represents a result of a bigraph matching and is used by the
BigraphMatchingEnginein the simulation module.Common interface for reaction rules.Base interface for bigraphical reactive systems. -
Classes in org.bigraphs.framework.core.reactivesystem used by org.bigraphs.framework.simulation.modelcheckingClassDescriptionThis interface represents a result of a bigraph matching and is used by the
BigraphMatchingEnginein the simulation module.Generic interface for bigraph rewriting matching results.This data structure represents 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. -
Classes in org.bigraphs.framework.core.reactivesystem used by org.bigraphs.framework.simulation.modelchecking.predicatesClassDescriptionMarker interface that indicates the object has a label.Predicate interface for the reaction graph.
-
-
Classes in org.bigraphs.framework.core.reactivesystem used by org.bigraphs.framework.visualizationClassDescriptionThis data structure represents a "reaction graph", analogous to a labeled transition system.Base interface for bigraphical reactive systems.