Class ModelCheckingOptions.ExportOptions
java.lang.Object
org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.ExportOptions
- All Implemented Interfaces:
ModelCheckingOptions.Opts
- Enclosing class:
- ModelCheckingOptions
public static final class ModelCheckingOptions.ExportOptions
extends Object
implements ModelCheckingOptions.Opts
This class represents export-specific options regarding the generated artifacts when synthesizing the transition
system.
- Author:
- Dominik Grzelak
-
Nested Class Summary
Nested ClassesModifier and TypeClassDescriptionstatic class
static enum
-
Method Summary
Modifier and TypeMethodDescriptionFlag 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.The file to store the reaction graph (i.e., transition system)Deprecated.getType()
boolean
boolean
Checks if the filename for the reaction graph export was set.boolean
Deprecated.void
setFormatsEnabled
(List<ModelCheckingOptions.ExportOptions.Format> formatsEnabled)
-
Method Details
-
getOutputStatesFolder
-
hasOutputStatesFolder
public boolean hasOutputStatesFolder() -
hasRewriteResultFolder
Deprecated. -
getRewriteResultFolder
Deprecated. -
getFormatsEnabled
-
setFormatsEnabled
-
getPrintCanonicalStateLabel
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.
- Returns:
true
, if the state labels of the reaction graph should contain the canonical form of a bigraph
-
getReactionGraphFile
The file to store the reaction graph (i.e., transition system)- Returns:
- filename of the reaction graph to store
-
hasReactionGraphFile
public boolean hasReactionGraphFile()Checks if the filename for the reaction graph export was set.- Returns:
true
, if the filename for the reaction graph export was set
-
getType
- Specified by:
getType
in interfaceModelCheckingOptions.Opts
-
toBuilder
-