Uses of Enum Class
org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.ExportOptions.Format

Packages that use ModelCheckingOptions.ExportOptions.Format

Package	Description
org.bigraphs.framework.simulation.modelchecking

Uses of ModelCheckingOptions.ExportOptions.Format in org.bigraphs.framework.simulation.modelchecking

Methods in org.bigraphs.framework.simulation.modelchecking that return ModelCheckingOptions.ExportOptions.Format

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

Methods in org.bigraphs.framework.simulation.modelchecking that return types with arguments of type ModelCheckingOptions.ExportOptions.Format

Modifier and Type	Method	Description
List<ModelCheckingOptions.ExportOptions.Format>	ModelCheckingOptions.ExportOptions.getFormatsEnabled()

Method parameters in org.bigraphs.framework.simulation.modelchecking with type arguments of type ModelCheckingOptions.ExportOptions.Format

Modifier and Type	Method	Description
ModelCheckingOptions.ExportOptions.Builder	ModelCheckingOptions.ExportOptions.Builder.setFormatsEnabled(List<ModelCheckingOptions.ExportOptions.Format> formatsEnabled)
void	ModelCheckingOptions.ExportOptions.setFormatsEnabled(List<ModelCheckingOptions.ExportOptions.Format> formatsEnabled)