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

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)