#include <JaniConversionOptions.h>

Collaboration diagram for storm::converter::JaniConversionOptions:

Public Member Functions
	JaniConversionOptions ()

	JaniConversionOptions (storm::settings::modules::JaniExportSettings const &settings)

Public Attributes
std::vector< std::pair< std::string, std::string > >	locationVariables
	(Automaton,Variable)-pairs that will be transformed to location variables of the respective automaton.

bool	edgeAssignments
	If set, the model might have transient assignments to the edges.

bool	flatten
	If set, the model is transformed into a single automaton.

bool	substituteConstants
	If set, constants in expressions are substituted with their definition.

bool	localVars
	If set, variables will be made local wherever possible.

bool	globalVars
	If set, variables will be made global wherever possible.

boost::optional< std::string >	modelName
	If given, the model will get this name.

storm::jani::ModelFeatures	allowedModelFeatures
	Only these model features are allowed in the output.

bool	addPropertyConstants
	Add constants that are defined in the properties to the model.

bool	replaceUnassignedVariablesWithConstants
	If set, local and global variables that are (a) not assigned to some value and (b) have a known initial value are replaced by constants.

bool	simplifyComposition
	If set, attempts to simplify the system composition.

bool	locationElimination
	If set, attempts to perform location elimination of states to reduce the state space of the final model.

uint64_t	locationEliminationLocationHeuristic
	Controls which locations are eliminated if location elimination is enabled.

uint64_t	locationEliminationEdgeHeuristic

Detailed Description

Definition at line 13 of file JaniConversionOptions.h.

Constructor & Destructor Documentation

◆ JaniConversionOptions() [1/2]

storm::converter::JaniConversionOptions::JaniConversionOptions ( )

Definition at line 6 of file JaniConversionOptions.cpp.

◆ JaniConversionOptions() [2/2]

storm::converter::JaniConversionOptions::JaniConversionOptions ( storm::settings::modules::JaniExportSettings const & settings )

Definition at line 20 of file JaniConversionOptions.cpp.

Member Data Documentation

◆ addPropertyConstants

bool storm::converter::JaniConversionOptions::addPropertyConstants

Add constants that are defined in the properties to the model.

Definition at line 42 of file JaniConversionOptions.h.

◆ allowedModelFeatures

storm::jani::ModelFeatures storm::converter::JaniConversionOptions::allowedModelFeatures

Only these model features are allowed in the output.

Definition at line 39 of file JaniConversionOptions.h.

◆ edgeAssignments

bool storm::converter::JaniConversionOptions::edgeAssignments

If set, the model might have transient assignments to the edges.

Definition at line 21 of file JaniConversionOptions.h.

◆ flatten

bool storm::converter::JaniConversionOptions::flatten

If set, the model is transformed into a single automaton.

Definition at line 24 of file JaniConversionOptions.h.

◆ globalVars

bool storm::converter::JaniConversionOptions::globalVars

If set, variables will be made global wherever possible.

Definition at line 33 of file JaniConversionOptions.h.

◆ localVars

bool storm::converter::JaniConversionOptions::localVars

If set, variables will be made local wherever possible.

Definition at line 30 of file JaniConversionOptions.h.

◆ locationElimination

bool storm::converter::JaniConversionOptions::locationElimination

If set, attempts to perform location elimination of states to reduce the state space of the final model.

Definition at line 51 of file JaniConversionOptions.h.

◆ locationEliminationEdgeHeuristic

uint64_t storm::converter::JaniConversionOptions::locationEliminationEdgeHeuristic

Definition at line 57 of file JaniConversionOptions.h.

◆ locationEliminationLocationHeuristic

uint64_t storm::converter::JaniConversionOptions::locationEliminationLocationHeuristic

Controls which locations are eliminated if location elimination is enabled.

Definition at line 54 of file JaniConversionOptions.h.

◆ locationVariables

std::vector<std::pair<std::string, std::string> > storm::converter::JaniConversionOptions::locationVariables

(Automaton,Variable)-pairs that will be transformed to location variables of the respective automaton.

Definition at line 18 of file JaniConversionOptions.h.

◆ modelName

boost::optional<std::string> storm::converter::JaniConversionOptions::modelName

If given, the model will get this name.

Definition at line 36 of file JaniConversionOptions.h.

◆ replaceUnassignedVariablesWithConstants

bool storm::converter::JaniConversionOptions::replaceUnassignedVariablesWithConstants

If set, local and global variables that are (a) not assigned to some value and (b) have a known initial value are replaced by constants.

Definition at line 45 of file JaniConversionOptions.h.

◆ simplifyComposition

bool storm::converter::JaniConversionOptions::simplifyComposition

If set, attempts to simplify the system composition.

Definition at line 48 of file JaniConversionOptions.h.

◆ substituteConstants

bool storm::converter::JaniConversionOptions::substituteConstants

If set, constants in expressions are substituted with their definition.

Definition at line 27 of file JaniConversionOptions.h.

The documentation for this struct was generated from the following files:

src/storm-conv/converter/options/JaniConversionOptions.h
src/storm-conv/converter/options/JaniConversionOptions.cpp

Public Member Functions

Public Attributes