Package org.bigraphs.framework.simulation.modelchecking

package org.bigraphs.framework.simulation.modelchecking

Related Packages

Package	Description
org.bigraphs.framework.simulation.modelchecking.predicates
org.bigraphs.framework.simulation.modelchecking.reactions

Class	Description
BigraphModelChecker<B extends Bigraph<? extends Signature<?>>>	A bigraph model checker that allows to simulate a BRS by reaction rules.
BigraphModelChecker.ReactiveSystemListener<B extends Bigraph<? extends Signature<?>>>
BigraphModelChecker.SimulationStrategy	Enum-like class that holds all kind of simulations.
BigraphModelChecker.SimulationStrategy.Type
BreadthFirstSimulationStrategy<B extends Bigraph<? extends Signature<?>>>	Deprecated.
BreadthFirstStrategy<B extends Bigraph<? extends Signature<?>>>	The algorithm implemented here to synthesize the "reaction graph" is adopted from [1].
FixedThreadPoolExecutorProvider	Default executor provider for the model checking task submission.
ModelCheckingOptions	This class represents the available options for the model checker BigraphModelChecker.
ModelCheckingOptions.ExportOptions	This class represents export-specific options regarding the generated artifacts when synthesizing the transition system.
ModelCheckingOptions.ExportOptions.Builder
ModelCheckingOptions.Options
ModelCheckingOptions.Opts
ModelCheckingOptions.TransitionOptions	Class that represents simulation-specific options.
ModelCheckingOptions.TransitionOptions.Builder	Default values: allow reducible classes: false
ModelCheckingStrategy<B extends Bigraph<? extends Signature<?>>>	Strategy pattern for implementing new model checking algorithms.
ModelCheckingStrategySupport<B extends Bigraph<? extends Signature<?>>>	Base class for supporting model checking strategy implementations.
PureBigraphModelChecker	An implementation of a BigraphModelChecker for model checking of BRS with pure bigraphs (see PureBigraph).
RandomAgentModelCheckingStrategy<B extends Bigraph<? extends Signature<?>>>	Random state-space traversal without cycle-checking and predicate evaluation.