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 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

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]

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:

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