DirectEncodingExporter.h

Go to the documentation of this file.

#pragma once
 
#include <filesystem>
#include <iostream>
#include <memory>
 
#include "storm/io/DirectEncodingExporterOptions.h"
#include "storm/models/sparse/Model.h"
 
namespace storm {
namespace io {
 
template<typename ValueType>
void explicitExportSparseModel(std::filesystem::path const& filename, std::shared_ptr<storm::models::sparse::Model<ValueType>> sparseModel,
                               std::vector<std::string> const& parameters, DirectEncodingExporterOptions const& options = DirectEncodingExporterOptions());
 
template<typename ValueType>
void explicitExportSparseModel(std::ostream& os, std::shared_ptr<storm::models::sparse::Model<ValueType>> sparseModel,
                               std::vector<std::string> const& parameters, DirectEncodingExporterOptions const& options = DirectEncodingExporterOptions());
 
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