Uses of Class
org.bigraphs.framework.simulation.exceptions.BigraphSimulationException
Packages that use BigraphSimulationException
-
Uses of BigraphSimulationException in org.bigraphs.framework.simulation.modelchecking
Methods in org.bigraphs.framework.simulation.modelchecking that throw BigraphSimulationExceptionModifier and TypeMethodDescriptionvoidBigraphModelChecker.execute()Perform the simulation based on the provided reactive system and options.BigraphModelChecker.executeAsync()Asynchronously start the simulation based on the provided reactive system and options.