Package org.bigraphs.framework.simulation.modelchecking

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 Classes

Modifier and Type	Class	Description
static class	ModelCheckingOptions.ExportOptions.Builder

Method Summary

Modifier and Type	Method	Description
File	getOutputStatesFolder()
Boolean	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.
File	getReactionGraphFile()	The file to store the reaction graph (i.e., transition system)
File	getRewriteResultFolder()	Deprecated.
ModelCheckingOptions.Options	getType()
boolean	hasOutputStatesFolder()
boolean	hasReactionGraphFile()	Checks if the filename for the reaction graph export was set.
boolean	hasRewriteResultFolder()	Deprecated.
ModelCheckingOptions.ExportOptions.Builder	toBuilder()

Methods inherited from class java.lang.Object

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

Method Details

getOutputStatesFolder

public File getOutputStatesFolder()

hasOutputStatesFolder

public boolean hasOutputStatesFolder()

hasRewriteResultFolder

@Deprecated
public boolean hasRewriteResultFolder()

Deprecated.

getRewriteResultFolder

@Deprecated
public File getRewriteResultFolder()

Deprecated.

getPrintCanonicalStateLabel

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

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

public ModelCheckingOptions.Options getType()

Specified by:

getType in interface ModelCheckingOptions.Opts

toBuilder

public ModelCheckingOptions.ExportOptions.Builder toBuilder()