Uses of Package
org.bigraphs.framework.simulation.modelchecking
Packages that use org.bigraphs.framework.simulation.modelchecking
-
Classes in org.bigraphs.framework.simulation.modelchecking used by org.bigraphs.framework.simulation.modelcheckingClassDescriptionFilter interface used by
ModelCheckingStrategySupportto post-process the next agent drawn from the worklist.A model checker for Bigraphical Reactive Systems (BRS) that simulates state-space evolution by repeatedly applying reaction rules.The algorithm implemented here to synthesize the "reaction graph" is adopted from [1].This algorithm implements a depth-first model checking algorithm.This class represents the available options for the model checkerBigraphModelChecker.This class represents export-specific options regarding the generated artifacts when synthesizing the transition system.Class that represents simulation-specific options.Default values:
allow reducible classes:falseStrategy pattern for implementing new model checking algorithms.Base class for supporting model checking strategy implementations.This class is an abstraction of a model checking strategy based on the Simulated Annealing algorithm.Functional interface representing a cooling schedule used in simulated annealing processes.