Uses of Interface org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker.ReactiveSystemListener (Bigraph Parent Project 2.0.0-SNAPSHOT API)

Packages that use BigraphModelChecker.ReactiveSystemListener

Package

Description

org.bigraphs.framework.simulation.modelchecking

Uses of BigraphModelChecker.ReactiveSystemListener in org.bigraphs.framework.simulation.modelchecking

Fields in org.bigraphs.framework.simulation.modelchecking declared as BigraphModelChecker.ReactiveSystemListener

Modifier and Type

Field

Description

protected BigraphModelChecker.ReactiveSystemListener<B>

BigraphModelChecker.reactiveSystemListener

Methods in org.bigraphs.framework.simulation.modelchecking with parameters of type BigraphModelChecker.ReactiveSystemListener

Modifier and Type

Method

Description

BigraphModelChecker<B>

BigraphModelChecker.setReactiveSystemListener(BigraphModelChecker.ReactiveSystemListener<B> reactiveSystemListener)

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

Modifier

Constructor

Description

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

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