Storm 1.10.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
InitialConstruct.h
Go to the documentation of this file.
1#ifndef STORM_STORAGE_PRISM_INITIALCONSTRUCT_H_
2#define STORM_STORAGE_PRISM_INITIALCONSTRUCT_H_
3
4#include <map>
5#include <string>
6
9
10namespace storm {
11namespace expressions {
12class Variable;
13}
14} // namespace storm
15
16namespace storm {
17namespace prism {
19 public:
27 InitialConstruct(storm::expressions::Expression initialStatesExpression, std::string const& filename = "", uint_fast64_t lineNumber = 0);
28
29 // Create default implementations of constructors/assignment.
30 InitialConstruct() = default;
31 InitialConstruct(InitialConstruct const& other) = default;
35
42
49 InitialConstruct substitute(std::map<storm::expressions::Variable, storm::expressions::Expression> const& substitution) const;
50
51 friend std::ostream& operator<<(std::ostream& stream, InitialConstruct const& initialConstruct);
52
53 private:
54 // An expression characterizing the initial states.
55 storm::expressions::Expression initialStatesExpression;
56};
57} // namespace prism
58} // namespace storm
59
60#endif /* STORM_STORAGE_PRISM_INITIALCONSTRUCT_H_ */
InitialConstruct & operator=(InitialConstruct &&other)=default
InitialConstruct(InitialConstruct &&other)=default
InitialConstruct substitute(std::map< storm::expressions::Variable, storm::expressions::Expression > const &substitution) const
Substitutes all identifiers in the constant according to the given map.
friend std::ostream & operator<<(std::ostream &stream, InitialConstruct const &initialConstruct)
InitialConstruct(InitialConstruct const &other)=default
InitialConstruct & operator=(InitialConstruct const &other)=default
storm::expressions::Expression getInitialStatesExpression() const
Retrieves the expression characterizing the initial states.
LabParser.cpp.