Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::prism::ToJaniConverter Class Reference

#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::PropertyapplyRenaming (std::vector< storm::jani::Property > const &property) const
 

Detailed Description

Definition at line 19 of file ToJaniConverter.h.

Member Function Documentation

◆ applyRenaming() [1/2]

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.

◆ applyRenaming() [2/2]

storm::jani::Property storm::prism::ToJaniConverter::applyRenaming ( storm::jani::Property const &  property) const

Definition at line 560 of file ToJaniConverter.cpp.

◆ convert()

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.

◆ getLabelRenaming()

std::map< std::string, std::string > const & storm::prism::ToJaniConverter::getLabelRenaming ( ) const

Definition at line 552 of file ToJaniConverter.cpp.

◆ getRewardModelRenaming()

std::map< std::string, std::string > const & storm::prism::ToJaniConverter::getRewardModelRenaming ( ) const

Definition at line 556 of file ToJaniConverter.cpp.

◆ labelsWereRenamed()

bool storm::prism::ToJaniConverter::labelsWereRenamed ( ) const

Definition at line 544 of file ToJaniConverter.cpp.

◆ rewardModelsWereRenamed()

bool storm::prism::ToJaniConverter::rewardModelsWereRenamed ( ) const

Definition at line 548 of file ToJaniConverter.cpp.


The documentation for this class was generated from the following files: