gspn_transformation.h

Go to the documentation of this file.

#pragma once
 
#include <utility>
#include <vector>
 
#include "storm-dft/storage/DFT.h"
#include "storm-gspn/storage/gspn/GSPN.h"
 
// Forward declarations
namespace storm {
namespace jani {
class Model;
class Property;
}  // namespace jani
}  // namespace storm
 
namespace storm::dft {
namespace api {

template<typename ValueType>
std::pair<std::shared_ptr<storm::gspn::GSPN>, uint64_t> transformToGSPN(storm::dft::storage::DFT<ValueType> const& dft, bool enableDC, bool extendPriorities,
                                                                        bool enableSmartTransformation, bool mergeDCFailed);

std::pair<std::shared_ptr<storm::jani::Model>, std::vector<storm::jani::Property>> transformToJani(storm::gspn::GSPN const& gspn, uint64_t toplevelFailedPlace,
                                                                                                   bool addDeadlockProperties = false);
 
}  // namespace api
}  // namespace storm::dft