Uses of Class
org.bigraphs.framework.core.exceptions.ReactiveSystemException
Package
Description
-
Uses of ReactiveSystemException in org.bigraphs.framework.core.exceptions
Modifier and TypeClassDescriptionclass
class
class
-
Uses of ReactiveSystemException in org.bigraphs.framework.simulation.exceptions
-
Uses of ReactiveSystemException in org.bigraphs.framework.simulation.modelchecking
Modifier and TypeMethodDescriptionprotected void
BigraphModelChecker.assertReactionSystemValid()
Performs some checks if the reactive system is valid.void
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.