Uses of Class
org.bigraphs.framework.core.exceptions.ReactiveSystemException

Packages that use ReactiveSystemException

Package	Description
org.bigraphs.framework.core.exceptions
org.bigraphs.framework.simulation.exceptions
org.bigraphs.framework.simulation.modelchecking

Uses of ReactiveSystemException in org.bigraphs.framework.core.exceptions

Subclasses of ReactiveSystemException in org.bigraphs.framework.core.exceptions

Modifier and Type	Class	Description
class	AgentIsNullException
class	AgentNotGroundException
class	AgentNotPrimeException

Uses of ReactiveSystemException in org.bigraphs.framework.simulation.exceptions

Subclasses of ReactiveSystemException in org.bigraphs.framework.simulation.exceptions

Modifier and Type	Class	Description
class	InvalidSimulationStrategy

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

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

Modifier and Type	Method	Description
protected 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.
Future<ReactionGraph<B>>	BigraphModelChecker.executeAsync()	Asynchronously start the simulation based on the provided reactive system and options.