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 TypeMethodDescriptionvoid
BigraphModelChecker.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.