Storm
A Modern Probabilistic Model Checker
|
#include <SystemCompositionConstruct.h>
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 |
![]() | |
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) |
Definition at line 14 of file SystemCompositionConstruct.h.
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.
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.
|
default |
|
default |
|
default |
Composition const & storm::prism::SystemCompositionConstruct::getSystemComposition | ( | ) | const |
Definition at line 11 of file SystemCompositionConstruct.cpp.
|
default |
|
default |
|
friend |
Definition at line 15 of file SystemCompositionConstruct.cpp.