Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
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
 
InitialConstructoperator= (InitialConstruct const &other)=default
 
 InitialConstruct (InitialConstruct &&other)=default
 
InitialConstructoperator= (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
 
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, InitialConstruct const &initialConstruct)
 

Detailed Description

Definition at line 19 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
initialStatesExpressionAn expression characterizing the initial states.
filenameThe filename in which the command is defined.
lineNumberThe 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
substitutionThe 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: