Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
InitialConstruct.cpp
Go to the documentation of this file.
3
4namespace storm {
5namespace prism {
6InitialConstruct::InitialConstruct(storm::expressions::Expression initialStatesExpression, std::string const& filename, uint_fast64_t lineNumber)
7 : LocatedInformation(filename, lineNumber), initialStatesExpression(initialStatesExpression) {
8 // Intentionally left empty.
9}
10
12 return this->initialStatesExpression;
13}
14
15InitialConstruct InitialConstruct::substitute(std::map<storm::expressions::Variable, storm::expressions::Expression> const& substitution) const {
16 return InitialConstruct(this->getInitialStatesExpression().substitute(substitution));
17}
18
19std::ostream& operator<<(std::ostream& stream, InitialConstruct const& initialConstruct) {
20 stream << "init \n";
21 stream << "\t" << initialConstruct.getInitialStatesExpression() << '\n';
22 stream << "endinit\n";
23 return stream;
24}
25} // namespace prism
26} // namespace storm
InitialConstruct substitute(std::map< storm::expressions::Variable, storm::expressions::Expression > const &substitution) const
Substitutes all identifiers in the constant according to the given map.
storm::expressions::Expression getInitialStatesExpression() const
Retrieves the expression characterizing the initial states.
std::ostream & operator<<(std::ostream &stream, Assignment const &assignment)
LabParser.cpp.
Definition cli.cpp:18