Uses of Enum Class
org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.Options

Packages that use ModelCheckingOptions.Options

Package	Description
org.bigraphs.framework.simulation.modelchecking

Uses of ModelCheckingOptions.Options in org.bigraphs.framework.simulation.modelchecking

Methods in org.bigraphs.framework.simulation.modelchecking that return ModelCheckingOptions.Options

Modifier and Type	Method	Description
ModelCheckingOptions.Options	ModelCheckingOptions.ExportOptions.getType()
ModelCheckingOptions.Options	ModelCheckingOptions.Opts.getType()
ModelCheckingOptions.Options	ModelCheckingOptions.TransitionOptions.getType()
static ModelCheckingOptions.Options	ModelCheckingOptions.Options.valueOf(String name)	Returns the enum constant of this class with the specified name.
static ModelCheckingOptions.Options[]	ModelCheckingOptions.Options.values()	Returns an array containing the constants of this enum class, in the order they are declared.

Methods in org.bigraphs.framework.simulation.modelchecking with parameters of type ModelCheckingOptions.Options

Modifier and Type	Method	Description
<T extends ModelCheckingOptions.Opts> T	ModelCheckingOptions.get(ModelCheckingOptions.Options kind)