Class ModelCheckingOptions.ExportOptions.Builder
java.lang.Object
org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.ExportOptions.Builder
- Enclosing class:
- ModelCheckingOptions.ExportOptions
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptioncreate()
setFormatsEnabled
(List<ModelCheckingOptions.ExportOptions.Format> formatsEnabled) setOutputStatesFolder
(File outputStatesFolder) 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.setReactionGraphFile
(File reactionGraphFile) setRewriteResultFolder
(File rewriteResultFolder) Deprecated.
-
Constructor Details
-
Builder
public Builder()
-
-
Method Details
-
setOutputStatesFolder
-
setReactionGraphFile
-
setRewriteResultFolder
@Deprecated public ModelCheckingOptions.ExportOptions.Builder setRewriteResultFolder(File rewriteResultFolder) Deprecated. -
setFormatsEnabled
public ModelCheckingOptions.ExportOptions.Builder setFormatsEnabled(List<ModelCheckingOptions.ExportOptions.Format> formatsEnabled) -
disableAllFormats
-
setPrintCanonicalStateLabel
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.This only affects the exported reaction graph and serves visual purposes.
Default is
true
.- Returns:
true
, if the state labels of the reaction graph should contain the canonical form of a bigraph
-
create
-