Storm
A Modern Probabilistic Model Checker
|
#include <ToJaniConverter.h>
Public Member Functions | |
storm::jani::Model | convert (storm::prism::Program const &program, bool allVariablesGlobal=true, std::set< storm::expressions::Variable > const &variablesToMakeGlobal={}, std::string suffix="") |
bool | labelsWereRenamed () const |
bool | rewardModelsWereRenamed () const |
std::map< std::string, std::string > const & | getLabelRenaming () const |
std::map< std::string, std::string > const & | getRewardModelRenaming () const |
storm::jani::Property | applyRenaming (storm::jani::Property const &property) const |
std::vector< storm::jani::Property > | applyRenaming (std::vector< storm::jani::Property > const &property) const |
Definition at line 19 of file ToJaniConverter.h.
std::vector< storm::jani::Property > storm::prism::ToJaniConverter::applyRenaming | ( | std::vector< storm::jani::Property > const & | property | ) | const |
Definition at line 584 of file ToJaniConverter.cpp.
storm::jani::Property storm::prism::ToJaniConverter::applyRenaming | ( | storm::jani::Property const & | property | ) | const |
Definition at line 560 of file ToJaniConverter.cpp.
storm::jani::Model storm::prism::ToJaniConverter::convert | ( | storm::prism::Program const & | program, |
bool | allVariablesGlobal = true , |
||
std::set< storm::expressions::Variable > const & | variablesToMakeGlobal = {} , |
||
std::string | suffix = "" |
||
) |
Definition at line 20 of file ToJaniConverter.cpp.
std::map< std::string, std::string > const & storm::prism::ToJaniConverter::getLabelRenaming | ( | ) | const |
Definition at line 552 of file ToJaniConverter.cpp.
std::map< std::string, std::string > const & storm::prism::ToJaniConverter::getRewardModelRenaming | ( | ) | const |
Definition at line 556 of file ToJaniConverter.cpp.
bool storm::prism::ToJaniConverter::labelsWereRenamed | ( | ) | const |
Definition at line 544 of file ToJaniConverter.cpp.
bool storm::prism::ToJaniConverter::rewardModelsWereRenamed | ( | ) | const |
Definition at line 548 of file ToJaniConverter.cpp.