Uses of Class
org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker
-
Uses of BigraphModelChecker in org.bigraphs.framework.simulation.modelchecking
Modifier and TypeClassDescriptionclass
An implementation of aBigraphModelChecker
for model checking of BRS with pure bigraphs (seePureBigraph
).Modifier and TypeFieldDescriptionprotected BigraphModelChecker<B>
ModelCheckingStrategySupport.modelChecker
Modifier and TypeMethodDescriptionBigraphModelChecker.setReactiveSystemListener
(BigraphModelChecker.ReactiveSystemListener<B> reactiveSystemListener) ModifierConstructorDescriptionBreadthFirstSimulationStrategy
(BigraphModelChecker<B> modelChecker) Deprecated.BreadthFirstStrategy
(BigraphModelChecker<B> modelChecker) ModelCheckingStrategySupport
(BigraphModelChecker<B> modelChecker) RandomAgentModelCheckingStrategy
(BigraphModelChecker<B> modelChecker)