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

Detailed Description

Definition at line 19 of file ToJaniConverter.h.

Member Function Documentation

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.

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