storm::prism::ModuleRenaming Class Reference

#include <ModuleRenaming.h>

Inheritance diagram for storm::prism::ModuleRenaming:

Collaboration diagram for storm::prism::ModuleRenaming:

Public Member Functions
	ModuleRenaming (std::map< std::string, std::string > const &renaming)
	Creates a module renaming.
	ModuleRenaming (std::map< std::string, std::string > &&renaming)
	Creates a module renaming.
	ModuleRenaming ()=default
	ModuleRenaming (ModuleRenaming const &other)=default
ModuleRenaming &	operator= (ModuleRenaming const &other)=default
	ModuleRenaming (ModuleRenaming &&other)=default
ModuleRenaming &	operator= (ModuleRenaming &&other)=default
std::map< std::string, std::string > const &	getRenaming () const
	If the module was created via renaming, this method returns the applied renaming of identifiers used for the renaming process.
Public Member Functions inherited from storm::prism::LocatedInformation
	LocatedInformation (std::string const &filename, uint_fast64_t lineNumber)
	Constructs a located information with the given filename and line number.
	LocatedInformation ()=default
	LocatedInformation (LocatedInformation const &other)=default
LocatedInformation &	operator= (LocatedInformation const &other)=default
	LocatedInformation (LocatedInformation &&other)=default
LocatedInformation &	operator= (LocatedInformation &&other)=default
std::string const &	getFilename () const
	Retrieves the name of the file in which the information was found.
void	setFilename (std::string const &filename)
	Sets the filename of this information.
uint_fast64_t	getLineNumber () const
	Retrieves the line number in which the information was found.
void	setLineNumber (uint_fast64_t lineNumber)
	Sets the line number of this information.

Friends
std::ostream &	operator<< (std::ostream &stream, ModuleRenaming const &module)

Detailed Description

Definition at line 17 of file ModuleRenaming.h.

Constructor & Destructor Documentation

ModuleRenaming() [1/5]

storm::prism::ModuleRenaming::ModuleRenaming

(

std::map< std::string, std::string > const &

renaming

)

Creates a module renaming.

Parameters

renaming

The renaming of identifiers.

Definition at line 5 of file ModuleRenaming.cpp.

ModuleRenaming() [2/5]

storm::prism::ModuleRenaming::ModuleRenaming

(

std::map< std::string, std::string > &&

renaming

)

Creates a module renaming.

Parameters

renaming

The renaming of identifiers.

Definition at line 9 of file ModuleRenaming.cpp.

ModuleRenaming() [3/5]

storm::prism::ModuleRenaming::ModuleRenaming ( )

default

ModuleRenaming() [4/5]

storm::prism::ModuleRenaming::ModuleRenaming ( ModuleRenaming const & other )

default

ModuleRenaming() [5/5]

storm::prism::ModuleRenaming::ModuleRenaming ( ModuleRenaming && other )

default

Member Function Documentation

getRenaming()

std::map< std::string, std::string > const & storm::prism::ModuleRenaming::getRenaming

(

)

const

If the module was created via renaming, this method returns the applied renaming of identifiers used for the renaming process.

Returns

A mapping of identifiers to new identifiers that was used in the renaming process.

Definition at line 13 of file ModuleRenaming.cpp.

operator=() [1/2]

ModuleRenaming & storm::prism::ModuleRenaming::operator= ( ModuleRenaming && other )

default

operator=() [2/2]

ModuleRenaming & storm::prism::ModuleRenaming::operator= ( ModuleRenaming const & other )

default

Friends And Related Symbol Documentation

operator<<

std::ostream & operator<< ( std::ostream & stream, ModuleRenaming const & module )

friend

Definition at line 17 of file ModuleRenaming.cpp.

---

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

• src/storm/storage/prism/ModuleRenaming.h
• src/storm/storage/prism/ModuleRenaming.cpp