Uses of Interface
org.bigraphs.framework.core.reactivesystem.ReactiveSystem

Packages that use ReactiveSystem

Package	Description
org.bigraphs.framework.converter
org.bigraphs.framework.converter.bigmc
org.bigraphs.framework.converter.bigrapher
org.bigraphs.framework.converter.bigred
org.bigraphs.framework.converter.ecore
org.bigraphs.framework.core.reactivesystem
org.bigraphs.framework.simulation.matching.pure
org.bigraphs.framework.simulation.modelchecking
org.bigraphs.framework.visualization

Uses of ReactiveSystem in org.bigraphs.framework.converter

Classes in org.bigraphs.framework.converter with type parameters of type ReactiveSystem

Modifier and Type	Interface	Description
interface	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

Methods in org.bigraphs.framework.converter.bigmc with parameters of type ReactiveSystem

Modifier and Type	Method	Description
void	BigMcTransformator.toOutputStream(ReactiveSystem<PureBigraph> system, OutputStream outputStream)
String	BigMcTransformator.toString(ReactiveSystem<PureBigraph> system)

Uses of ReactiveSystem in org.bigraphs.framework.converter.bigrapher

Methods in org.bigraphs.framework.converter.bigrapher with parameters of type ReactiveSystem

Modifier and Type	Method	Description
void	BigrapherTransformator.toOutputStream(ReactiveSystem system, OutputStream outputStream)
String	BigrapherTransformator.toString(ReactiveSystem<PureBigraph> system)

Uses of ReactiveSystem in org.bigraphs.framework.converter.bigred

Methods in org.bigraphs.framework.converter.bigred that return ReactiveSystem

Modifier and Type	Method	Description
ReactiveSystem<PureBigraph>	DefaultSimulationSpecXMLLoader.importObject()

Uses of ReactiveSystem in org.bigraphs.framework.converter.ecore

Methods in org.bigraphs.framework.converter.ecore with parameters of type ReactiveSystem

Modifier and Type	Method	Description
void	EcoreConverter.toOutputStream(ReactiveSystem<PureBigraph> system, OutputStream outputStream)
String	EcoreConverter.toString(ReactiveSystem<PureBigraph> system)

Uses of ReactiveSystem in org.bigraphs.framework.core.reactivesystem

Classes in org.bigraphs.framework.core.reactivesystem that implement ReactiveSystem

Modifier and Type	Class	Description
class	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.

Fields in org.bigraphs.framework.core.reactivesystem declared as ReactiveSystem

Modifier and Type	Field	Description
protected ReactiveSystem<B>	AbstractReactionRule.reactiveSystemAffili

Methods in org.bigraphs.framework.core.reactivesystem that return ReactiveSystem

Modifier and Type	Method	Description
ReactiveSystem<B>	AbstractReactionRule.ReactiveSystemBoundReactionRule.getBoundedReactiveSystem()
ReactiveSystem<B>	TransitionTriple.getTransitionOwner()

Methods in org.bigraphs.framework.core.reactivesystem with parameters of type ReactiveSystem

Modifier and Type	Method	Description
AbstractReactionRule.ReactiveSystemBoundReactionRule<B>	AbstractReactionRule.withReactiveSystem(ReactiveSystem<B> reactiveSystem)

Constructors in org.bigraphs.framework.core.reactivesystem with parameters of type ReactiveSystem

Modifier	Constructor	Description
	AbstractReactionRule(ReactiveSystem delegate, AbstractReactionRule rule)
	TransitionTriple(ReactiveSystem<B> transitionOwner, B source, B label, B target)

Uses of ReactiveSystem in org.bigraphs.framework.simulation.matching.pure

Classes in org.bigraphs.framework.simulation.matching.pure that implement ReactiveSystem

Modifier and Type	Class	Description
class	PureReactiveSystem	An implementation of an AbstractSimpleReactiveSystem providing a simple BRS data structure for pure bigraphs (see PureBigraph) and possibly later also binding bigraphs, bigraphs with sharing etc.

Uses of ReactiveSystem in org.bigraphs.framework.simulation.modelchecking

Methods in org.bigraphs.framework.simulation.modelchecking that return ReactiveSystem

Modifier and Type	Method	Description
ReactiveSystem<B>	BigraphModelChecker.getReactiveSystem()

Constructors in org.bigraphs.framework.simulation.modelchecking with parameters of type ReactiveSystem

Modifier	Constructor	Description
	BigraphModelChecker(ReactiveSystem<B> reactiveSystem, BigraphModelChecker.SimulationStrategy.Type simulationStrategyType, ModelCheckingOptions options)	Creates a BigraphModelChecker using the specified exploration strategy.
	BigraphModelChecker(ReactiveSystem<B> reactiveSystem, BigraphModelChecker.SimulationStrategy.Type simulationStrategyType, ModelCheckingOptions options, BigraphModelChecker.ReactiveSystemListener<B> listener)	Creates a BigraphModelChecker with a specified exploration strategy and an optional listener.
	BigraphModelChecker(ReactiveSystem<B> reactiveSystem, ModelCheckingOptions options)	Creates a BigraphModelChecker using Breadth-First Search (BFS) as default exploration strategy.
	BigraphModelChecker(ReactiveSystem<B> reactiveSystem, ModelCheckingStrategy<B> modelCheckingStrategy, 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)
	PureBigraphModelChecker(ReactiveSystem<PureBigraph> reactiveSystem, ModelCheckingStrategy<PureBigraph> modelCheckingStrategy, ModelCheckingOptions options)

Uses of ReactiveSystem in org.bigraphs.framework.visualization

Constructors in org.bigraphs.framework.visualization with parameters of type ReactiveSystem

Modifier	Constructor	Description
	mxReactionGraph(ReactionGraph reactionGraph, ReactiveSystem reactiveSystem, boolean useSimpleStateLabel)	Constructs and draws a new mxGraph from a jGraphT graph.
	ReactionGraphExporter(ReactiveSystem<B> reactiveSystem)	Constructor requires the BRS that is being model checking.
	ReactionGraphExporter(ReactiveSystem<B> reactiveSystem, boolean useSimpleStateLabel)