Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
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
 
ModuleRenamingoperator= (ModuleRenaming const &other)=default
 
 ModuleRenaming (ModuleRenaming &&other)=default
 
ModuleRenamingoperator= (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
 
LocatedInformationoperator= (LocatedInformation const &other)=default
 
 LocatedInformation (LocatedInformation &&other)=default
 
LocatedInformationoperator= (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 18 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
renamingThe 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
renamingThe 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: