#include <JaniConversionOptions.h>
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 = false |
| If set, the model might have transient assignments to the edges. | |
| bool | flatten = false |
| If set, the model is transformed into a single automaton. | |
| bool | substituteConstants = true |
| If set, constants in expressions are substituted with their definition. | |
| bool | localVars = false |
| If set, variables will be made local wherever possible. | |
| bool | globalVars = false |
| 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 = storm::jani::getAllKnownModelFeatures() |
| Only these model features are allowed in the output. | |
| bool | addPropertyConstants = true |
| Add constants that are defined in the properties to the model. | |
| bool | replaceUnassignedVariablesWithConstants = false |
| 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 = false |
| If set, attempts to simplify the system composition. | |
| bool | locationElimination = false |
| If set, attempts to perform location elimination of states to reduce the state space of the final model. | |
| uint64_t | locationEliminationLocationHeuristic = 10 |
| Controls which locations are eliminated if location elimination is enabled. | |
| uint64_t | locationEliminationEdgeHeuristic = 10000 |
Detailed Description
Definition at line 14 of file JaniConversionOptions.h.
Member Data Documentation
◆ addPropertyConstants
| bool storm::converter::JaniConversionOptions::addPropertyConstants = true |
Add constants that are defined in the properties to the model.
Definition at line 40 of file JaniConversionOptions.h.
◆ allowedModelFeatures
| storm::jani::ModelFeatures storm::converter::JaniConversionOptions::allowedModelFeatures = storm::jani::getAllKnownModelFeatures() |
Only these model features are allowed in the output.
Definition at line 37 of file JaniConversionOptions.h.
◆ edgeAssignments
| bool storm::converter::JaniConversionOptions::edgeAssignments = false |
If set, the model might have transient assignments to the edges.
Definition at line 19 of file JaniConversionOptions.h.
◆ flatten
| bool storm::converter::JaniConversionOptions::flatten = false |
If set, the model is transformed into a single automaton.
Definition at line 22 of file JaniConversionOptions.h.
◆ globalVars
| bool storm::converter::JaniConversionOptions::globalVars = false |
If set, variables will be made global wherever possible.
Definition at line 31 of file JaniConversionOptions.h.
◆ localVars
| bool storm::converter::JaniConversionOptions::localVars = false |
If set, variables will be made local wherever possible.
Definition at line 28 of file JaniConversionOptions.h.
◆ locationElimination
| bool storm::converter::JaniConversionOptions::locationElimination = false |
If set, attempts to perform location elimination of states to reduce the state space of the final model.
Definition at line 49 of file JaniConversionOptions.h.
◆ locationEliminationEdgeHeuristic
| uint64_t storm::converter::JaniConversionOptions::locationEliminationEdgeHeuristic = 10000 |
Definition at line 55 of file JaniConversionOptions.h.
◆ locationEliminationLocationHeuristic
| uint64_t storm::converter::JaniConversionOptions::locationEliminationLocationHeuristic = 10 |
Controls which locations are eliminated if location elimination is enabled.
Definition at line 52 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 16 of file JaniConversionOptions.h.
◆ modelName
| boost::optional<std::string> storm::converter::JaniConversionOptions::modelName |
If given, the model will get this name.
Definition at line 34 of file JaniConversionOptions.h.
◆ replaceUnassignedVariablesWithConstants
| bool storm::converter::JaniConversionOptions::replaceUnassignedVariablesWithConstants = false |
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 43 of file JaniConversionOptions.h.
◆ simplifyComposition
| bool storm::converter::JaniConversionOptions::simplifyComposition = false |
If set, attempts to simplify the system composition.
Definition at line 46 of file JaniConversionOptions.h.
◆ substituteConstants
| bool storm::converter::JaniConversionOptions::substituteConstants = true |
If set, constants in expressions are substituted with their definition.
Definition at line 25 of file JaniConversionOptions.h.
The documentation for this struct was generated from the following file:
- src/storm-conv/converter/options/JaniConversionOptions.h
