Uses of Class
org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.ExportOptions.Builder
-
Uses of ModelCheckingOptions.ExportOptions.Builder in org.bigraphs.framework.simulation.modelchecking
Modifier and TypeMethodDescriptionModelCheckingOptions.exportOpts()
ModelCheckingOptions.ExportOptions.Builder.setOutputStatesFolder
(File outputStatesFolder) 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.setReactionGraphFile
(File reactionGraphFile) ModelCheckingOptions.ExportOptions.Builder.setRewriteResultFolder
(File rewriteResultFolder) Deprecated.ModelCheckingOptions.ExportOptions.toBuilder()