Uses of Class
org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.ExportOptions.Builder

Packages that use ModelCheckingOptions.ExportOptions.Builder

Package	Description
org.bigraphs.framework.simulation.modelchecking

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

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

Modifier and Type	Method	Description
ModelCheckingOptions.ExportOptions.Builder	ModelCheckingOptions.ExportOptions.Builder.disableAllFormats()
static ModelCheckingOptions.ExportOptions.Builder	ModelCheckingOptions.exportOpts()
ModelCheckingOptions.ExportOptions.Builder	ModelCheckingOptions.ExportOptions.Builder.setFormatsEnabled(List<ModelCheckingOptions.ExportOptions.Format> formatsEnabled)
ModelCheckingOptions.ExportOptions.Builder	ModelCheckingOptions.ExportOptions.Builder.setOutputStatesFolder(File outputStatesFolder)
ModelCheckingOptions.ExportOptions.Builder	ModelCheckingOptions.ExportOptions.Builder.setPrintCanonicalStateLabel(boolean flag)	Flag that can be used to determine whether the labels of the states in the reaction graph should contain the canonical form of a bigraph or not, meaning, only a constant identifier is printed suffixed with an incremented number.
ModelCheckingOptions.ExportOptions.Builder	ModelCheckingOptions.ExportOptions.Builder.setReactionGraphFile(File reactionGraphFile)
ModelCheckingOptions.ExportOptions.Builder	ModelCheckingOptions.ExportOptions.Builder.setRewriteResultFolder(File rewriteResultFolder)	Deprecated.
ModelCheckingOptions.ExportOptions.Builder	ModelCheckingOptions.ExportOptions.toBuilder()