DirectEncodingExporter.h

Go to the documentation of this file.

#pragma once
 
#include <iostream>
#include <memory>
 
#include "storm/models/sparse/Model.h"
 
namespace storm {
namespace io {
 
struct DirectEncodingOptions {
    bool allowPlaceholders = true;
};
template<typename ValueType>
void explicitExportSparseModel(std::ostream& os, std::shared_ptr<storm::models::sparse::Model<ValueType>> sparseModel,
                               std::vector<std::string> const& parameters, DirectEncodingOptions const& options = DirectEncodingOptions());
 
template<typename ValueType>
std::vector<std::string> getParameters(std::shared_ptr<storm::models::sparse::Model<ValueType>> sparseModel);
 
template<typename ValueType>
std::unordered_map<ValueType, std::string> generatePlaceholders(std::shared_ptr<storm::models::sparse::Model<ValueType>> sparseModel,
                                                                std::vector<ValueType> exitRates);
 
template<typename ValueType>
void writeValue(std::ostream& os, ValueType value, std::unordered_map<ValueType, std::string> const& placeholders);
}  // namespace io
}  // namespace storm