Uses of Interface
org.bigraphs.framework.core.reactivesystem.ReactiveSystem
Package
Description
-
Uses of ReactiveSystem in org.bigraphs.framework.converter
Modifier and TypeInterfaceDescriptioninterface
ReactiveSystemPrettyPrinter<B extends Bigraph<? extends Signature<?>>,
R extends ReactiveSystem> A generic pretty printer interface for bigraphical reactive systems. -
Uses of ReactiveSystem in org.bigraphs.framework.converter.bigmc
Modifier and TypeMethodDescriptionvoid
BigMcTransformator.toOutputStream
(ReactiveSystem<PureBigraph> system, OutputStream outputStream) BigMcTransformator.toString
(ReactiveSystem<PureBigraph> system) -
Uses of ReactiveSystem in org.bigraphs.framework.converter.bigrapher
Modifier and TypeMethodDescriptionvoid
BigrapherTransformator.toOutputStream
(ReactiveSystem system, OutputStream outputStream) BigrapherTransformator.toString
(ReactiveSystem<PureBigraph> system) -
Uses of ReactiveSystem in org.bigraphs.framework.converter.bigred
-
Uses of ReactiveSystem in org.bigraphs.framework.converter.ecore
Modifier and TypeMethodDescriptionvoid
EcoreConverter.toOutputStream
(ReactiveSystem<PureBigraph> system, OutputStream outputStream) EcoreConverter.toString
(ReactiveSystem<PureBigraph> system) -
Uses of ReactiveSystem in org.bigraphs.framework.core.reactivesystem
Modifier and TypeClassDescriptionclass
AbstractSimpleReactiveSystem<B extends Bigraph<? extends Signature<?>>>
Abstract class of a "nice and simple" bigraphical reactive system (BRS).static class
AbstractSimpleReactiveSystem.TransitionSystemBoundSimpleReactiveSystem<B extends Bigraph<? extends Signature<?>>>
A bigraphical reactive system (BRS) bounded to a reaction graph.Modifier and TypeFieldDescriptionprotected ReactiveSystem<B>
AbstractReactionRule.reactiveSystemAffili
Modifier and TypeMethodDescriptionAbstractReactionRule.ReactiveSystemBoundReactionRule.getBoundedReactiveSystem()
TransitionTriple.getTransitionOwner()
Modifier and TypeMethodDescriptionAbstractReactionRule.withReactiveSystem
(ReactiveSystem<B> reactiveSystem) ModifierConstructorDescriptionAbstractReactionRule
(ReactiveSystem delegate, AbstractReactionRule rule) TransitionTriple
(ReactiveSystem<B> transitionOwner, B source, B label, B target) -
Uses of ReactiveSystem in org.bigraphs.framework.simulation.matching.pure
Modifier and TypeClassDescriptionclass
An implementation of anAbstractSimpleReactiveSystem
providing a simple BRS data structure for pure bigraphs (seePureBigraph
) and possibly later also binding bigraphs, bigraphs with sharing etc. -
Uses of ReactiveSystem in org.bigraphs.framework.simulation.modelchecking
ModifierConstructorDescriptionBigraphModelChecker
(ReactiveSystem<B> reactiveSystem, BigraphModelChecker.SimulationStrategy.Type simulationStrategyType, ModelCheckingOptions options) BigraphModelChecker
(ReactiveSystem<B> reactiveSystem, BigraphModelChecker.SimulationStrategy.Type simulationStrategyType, ModelCheckingOptions options, BigraphModelChecker.ReactiveSystemListener<B> listener) BigraphModelChecker
(ReactiveSystem<B> reactiveSystem, ModelCheckingOptions options) PureBigraphModelChecker
(ReactiveSystem<PureBigraph> reactiveSystem, BigraphModelChecker.SimulationStrategy.Type simulationStrategyType, ModelCheckingOptions options) PureBigraphModelChecker
(ReactiveSystem<PureBigraph> reactiveSystem, BigraphModelChecker.SimulationStrategy.Type simulationStrategyType, ModelCheckingOptions options, BigraphModelChecker.ReactiveSystemListener<PureBigraph> listener) PureBigraphModelChecker
(ReactiveSystem<PureBigraph> reactiveSystem, ModelCheckingOptions options) -
Uses of ReactiveSystem in org.bigraphs.framework.visualization
ModifierConstructorDescriptionmxReactionGraph
(ReactionGraph reactionGraph, ReactiveSystem reactiveSystem) Constructs and draws a new mxGraph from a jGraphT graph.ReactionGraphExporter
(ReactiveSystem<B> reactiveSystem) Constructor requires the BRS that is being model checking.