Storm
A Modern Probabilistic Model Checker
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
 
SystemCompositionConstructoperator= (SystemCompositionConstruct const &other)=default
 
 SystemCompositionConstruct (SystemCompositionConstruct &&other)=default
 
SystemCompositionConstructoperator= (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
 
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, SystemCompositionConstruct const &systemCompositionConstruct)
 

Detailed Description

Definition at line 14 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
compositionA composition expression defining the system composition.
filenameThe filename in which the command is defined.
lineNumberThe line number in which the command is defined.

Definition at line 6 of file SystemCompositionConstruct.cpp.

◆ SystemCompositionConstruct() [2/4]

storm::prism::SystemCompositionConstruct::SystemCompositionConstruct ( )
default

◆ SystemCompositionConstruct() [3/4]

storm::prism::SystemCompositionConstruct::SystemCompositionConstruct ( SystemCompositionConstruct const &  other)
default

◆ SystemCompositionConstruct() [4/4]

storm::prism::SystemCompositionConstruct::SystemCompositionConstruct ( SystemCompositionConstruct &&  other)
default

Member Function Documentation

◆ getSystemComposition()

Composition const & storm::prism::SystemCompositionConstruct::getSystemComposition ( ) const

Definition at line 11 of file SystemCompositionConstruct.cpp.

◆ operator=() [1/2]

SystemCompositionConstruct & storm::prism::SystemCompositionConstruct::operator= ( SystemCompositionConstruct &&  other)
default

◆ operator=() [2/2]

SystemCompositionConstruct & storm::prism::SystemCompositionConstruct::operator= ( SystemCompositionConstruct const &  other)
default

Friends And Related Symbol Documentation

◆ operator<<

std::ostream & operator<< ( std::ostream &  stream,
SystemCompositionConstruct const &  systemCompositionConstruct 
)
friend

Definition at line 15 of file SystemCompositionConstruct.cpp.


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