Package org.bigraphs.framework.simulation.modelchecking

Class ModelCheckingOptions.TransitionOptions

java.lang.Object

org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.TransitionOptions

All Implemented Interfaces:

ModelCheckingOptions.Opts

Enclosing class:

ModelCheckingOptions

public static final class ModelCheckingOptions.TransitionOptions
extends Object
implements ModelCheckingOptions.Opts

Class that represents simulation-specific options.

Author:

Dominik Grzelak

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	ModelCheckingOptions.TransitionOptions.Builder	Default values: allow reducible classes: false

Method Summary

Modifier and Type	Method	Description
boolean	allowReducibleClasses()	Flag that denotes whether to exploit the symmetries of the reaction graph or not.
long	getMaximumTime()
TimeUnit	getMaximumTimeUnit()
int	getMaximumTransitions()
ModelCheckingOptions.Options	getType()
boolean	isRewriteOpenLinks()
ModelCheckingOptions.TransitionOptions.Builder	toBuilder()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

getMaximumTransitions

public int getMaximumTransitions()

getMaximumTimeUnit

public TimeUnit getMaximumTimeUnit()

getMaximumTime

public long getMaximumTime()

allowReducibleClasses

public boolean allowReducibleClasses()

Flag that denotes whether to exploit the symmetries of the reaction graph or not.

Default value is false.

Returns:

true reaction graph considers symmetries

isRewriteOpenLinks

public boolean isRewriteOpenLinks()

getType

public ModelCheckingOptions.Options getType()

Specified by:

getType in interface ModelCheckingOptions.Opts

toBuilder

public ModelCheckingOptions.TransitionOptions.Builder toBuilder()