Uses of Interface
org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.Opts

Packages that use ModelCheckingOptions.Opts

Package	Description
org.bigraphs.framework.simulation.modelchecking

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

Classes in org.bigraphs.framework.simulation.modelchecking that implement ModelCheckingOptions.Opts

Modifier and Type	Class	Description
static final class	ModelCheckingOptions.ExportOptions	This class represents export-specific options regarding the generated artifacts when synthesizing the transition system.
static final class	ModelCheckingOptions.TransitionOptions	Class that represents simulation-specific options.

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

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

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

Modifier and Type	Method	Description
ModelCheckingOptions	ModelCheckingOptions.and(ModelCheckingOptions.Opts opts)