Uses of Class
org.bigraphs.framework.simulation.exceptions.BigraphSimulationException

Packages that use BigraphSimulationException

Package	Description
org.bigraphs.framework.simulation.modelchecking

Uses of BigraphSimulationException in org.bigraphs.framework.simulation.modelchecking

Methods in org.bigraphs.framework.simulation.modelchecking that throw BigraphSimulationException

Modifier and Type	Method	Description
void	BigraphModelChecker.execute()	Perform the simulation based on the provided reactive system and options.
Future<ReactionGraph<B>>	BigraphModelChecker.executeAsync()	Asynchronously start the simulation based on the provided reactive system and options.