Package org.bigraphs.framework.simulation.modelchecking

Class ModelCheckingOptions.ExportOptions.Builder

java.lang.Object

org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.ExportOptions.Builder

Enclosing class:

ModelCheckingOptions.ExportOptions

public static class ModelCheckingOptions.ExportOptions.Builder
extends Object

Constructor Summary

Constructors

Constructor	Description
Builder()

Method Summary

Modifier and Type	Method	Description
ModelCheckingOptions.ExportOptions	create()
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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

Builder

public Builder()

Method Details

setOutputStatesFolder

public ModelCheckingOptions.ExportOptions.Builder setOutputStatesFolder(File outputStatesFolder)

setReactionGraphFile

public ModelCheckingOptions.ExportOptions.Builder setReactionGraphFile(File reactionGraphFile)

setRewriteResultFolder

@Deprecated
public ModelCheckingOptions.ExportOptions.Builder setRewriteResultFolder(File rewriteResultFolder)

Deprecated.

setPrintCanonicalStateLabel

public 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.

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

public ModelCheckingOptions.ExportOptions create()