storm::prism::InitialConstruct Class Reference

#include <InitialConstruct.h>

Inheritance diagram for storm::prism::InitialConstruct:

Collaboration diagram for storm::prism::InitialConstruct:

Public Member Functions
	InitialConstruct (storm::expressions::Expression initialStatesExpression, std::string const &filename="", uint_fast64_t lineNumber=0)
	Creates an initial construct with the given expression.
	InitialConstruct ()=default
	InitialConstruct (InitialConstruct const &other)=default
InitialConstruct &	operator= (InitialConstruct const &other)=default
	InitialConstruct (InitialConstruct &&other)=default
InitialConstruct &	operator= (InitialConstruct &&other)=default
storm::expressions::Expression	getInitialStatesExpression () const
	Retrieves the expression characterizing the initial states.
InitialConstruct	substitute (std::map< storm::expressions::Variable, storm::expressions::Expression > const &substitution) const
	Substitutes all identifiers in the constant according to the given map.
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, InitialConstruct const &initialConstruct)

Detailed Description

Definition at line 18 of file InitialConstruct.h.

Constructor & Destructor Documentation

InitialConstruct() [1/4]

storm::prism::InitialConstruct::InitialConstruct	(	storm::expressions::Expression	initialStatesExpression,
		std::string const &	filename = "",
		uint_fast64_t	lineNumber = 0
	)

Creates an initial construct with the given expression.

Parameters

initialStatesExpression	An expression characterizing the initial states.
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 InitialConstruct.cpp.

InitialConstruct() [2/4]

storm::prism::InitialConstruct::InitialConstruct ( )

default

InitialConstruct() [3/4]

storm::prism::InitialConstruct::InitialConstruct ( InitialConstruct const &  other )

default

InitialConstruct() [4/4]

storm::prism::InitialConstruct::InitialConstruct ( InitialConstruct &&  other )

default

Member Function Documentation

getInitialStatesExpression()

storm::expressions::Expression storm::prism::InitialConstruct::getInitialStatesExpression

(

)

const

Retrieves the expression characterizing the initial states.

Returns

The expression characterizing the initial states.

Definition at line 11 of file InitialConstruct.cpp.

operator=() [1/2]

InitialConstruct & storm::prism::InitialConstruct::operator= ( InitialConstruct &&  other )

default

operator=() [2/2]

InitialConstruct & storm::prism::InitialConstruct::operator= ( InitialConstruct const &  other )

default

substitute()

InitialConstruct storm::prism::InitialConstruct::substitute

(

std::map< storm::expressions::Variable, storm::expressions::Expression > const &

substitution

)

const

Substitutes all identifiers in the constant according to the given map.

Parameters

substitution

The substitution to perform.

Returns

The resulting initial construct.

Definition at line 15 of file InitialConstruct.cpp.

Friends And Related Symbol Documentation

operator<<

std::ostream & operator<< ( std::ostream &  stream, InitialConstruct const &  initialConstruct  )

friend

Definition at line 19 of file InitialConstruct.cpp.

---

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

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