Loading...
Searching...
No Matches
storm::prism::SystemCompositionConstruct Class Reference
#include <SystemCompositionConstruct.h>
Inheritance diagram for storm::prism::SystemCompositionConstruct:
Collaboration diagram for storm::prism::SystemCompositionConstruct:
Public Member Functions | |
| SystemCompositionConstruct (std::shared_ptr< Composition > const &composition, std::string const &filename="", uint_fast64_t lineNumber=0) | |
| Creates an system composition construct with the given composition. | |
| SystemCompositionConstruct ()=default | |
| SystemCompositionConstruct (SystemCompositionConstruct const &other)=default | |
| SystemCompositionConstruct & | operator= (SystemCompositionConstruct const &other)=default |
| SystemCompositionConstruct (SystemCompositionConstruct &&other)=default | |
| SystemCompositionConstruct & | operator= (SystemCompositionConstruct &&other)=default |
| Composition const & | getSystemComposition () const |
| 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, SystemCompositionConstruct const &systemCompositionConstruct) |
Detailed Description
Definition at line 12 of file SystemCompositionConstruct.h.
Constructor & Destructor Documentation
◆ SystemCompositionConstruct() [1/4]
| storm::prism::SystemCompositionConstruct::SystemCompositionConstruct | ( | std::shared_ptr< Composition > const & | composition, |
| std::string const & | filename = "", | ||
| uint_fast64_t | lineNumber = 0 ) |
Creates an system composition construct with the given composition.
- Parameters
-
composition A composition expression defining the system composition. filename The filename in which the command is defined. lineNumber The line number in which the command is defined.
Definition at line 6 of file SystemCompositionConstruct.cpp.
◆ SystemCompositionConstruct() [2/4]
|
default |
◆ SystemCompositionConstruct() [3/4]
|
default |
◆ SystemCompositionConstruct() [4/4]
|
default |
Member Function Documentation
◆ getSystemComposition()
| Composition const & storm::prism::SystemCompositionConstruct::getSystemComposition | ( | ) | const |
Definition at line 11 of file SystemCompositionConstruct.cpp.
◆ operator=() [1/2]
|
default |
◆ operator=() [2/2]
|
default |
Friends And Related Symbol Documentation
◆ operator<<
|
friend |
Definition at line 15 of file SystemCompositionConstruct.cpp.
The documentation for this class was generated from the following files:
- src/storm/storage/prism/SystemCompositionConstruct.h
- src/storm/storage/prism/SystemCompositionConstruct.cpp
