Package org.bigraphs.framework.simulation.modelchecking

Class PureBigraphModelChecker

java.lang.Object

org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker<PureBigraph>

org.bigraphs.framework.simulation.modelchecking.PureBigraphModelChecker

public class PureBigraphModelChecker
extends BigraphModelChecker<PureBigraph>

An implementation of a BigraphModelChecker for model checking of BRS with pure bigraphs (see PureBigraph).

Author:

Dominik Grzelak

See Also:

• PureBigraph

Nested Class Summary

Nested classes/interfaces inherited from class org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker

BigraphModelChecker.ReactiveSystemListener<B extends Bigraph<? extends Signature<?>>>, BigraphModelChecker.SimulationStrategy

Field Summary

Fields inherited from class org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker

canonicalForm, modelCheckingStrategy, options, predicateChecker, reactiveSystemListener, simulationStrategyType

Constructor Summary

Constructors

Constructor	Description
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)

Method Summary

Methods inherited from class org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker

acquireCanonicalForm, assertReactionSystemValid, execute, executeAsync, exportReactionGraph, exportState, getMatcher, getPredicates, getReactionGraph, getReactiveSystem, setReactiveSystemListener, watch

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

PureBigraphModelChecker

public PureBigraphModelChecker(ReactiveSystem<PureBigraph> reactiveSystem,
 ModelCheckingOptions options)

PureBigraphModelChecker

public PureBigraphModelChecker(ReactiveSystem<PureBigraph> reactiveSystem,
 BigraphModelChecker.SimulationStrategy.Type simulationStrategyType,
 ModelCheckingOptions options,
 BigraphModelChecker.ReactiveSystemListener<PureBigraph> listener)

PureBigraphModelChecker

public PureBigraphModelChecker(ReactiveSystem<PureBigraph> reactiveSystem,
 BigraphModelChecker.SimulationStrategy.Type simulationStrategyType,
 ModelCheckingOptions options)