JaniConversionOptions.h

Go to the documentation of this file.

#pragma once
 
#include <boost/optional.hpp>
#include <string>
#include <vector>
 
#include "storm-conv/settings/modules/JaniExportSettings.h"
#include "storm/storage/jani/ModelFeatures.h"
 
namespace storm {
namespace converter {
 
struct JaniConversionOptions {
    JaniConversionOptions();
    JaniConversionOptions(storm::settings::modules::JaniExportSettings const& settings);
 
    std::vector<std::pair<std::string, std::string>> locationVariables;
 
    bool edgeAssignments;
 
    bool flatten;
 
    bool substituteConstants;
 
    bool localVars;
 
    bool globalVars;
 
    boost::optional<std::string> modelName;
 
    storm::jani::ModelFeatures allowedModelFeatures;
 
    bool addPropertyConstants;
 
    bool replaceUnassignedVariablesWithConstants;
 
    bool simplifyComposition;
 
    bool locationElimination;
 
    uint64_t locationEliminationLocationHeuristic;
 
    // Controls which edges are eliminated if location elimination is enabled
    uint64_t locationEliminationEdgeHeuristic;
};
}  // namespace converter
}  // namespace storm