Storm
A Modern Probabilistic Model Checker
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
ExpectedTimeToExpectedRewardVisitor.h
Go to the documentation of this file.
1#pragma once
2
3#include <map>
4
6
8
9namespace storm {
10namespace logic {
11
13 public:
14 ExpectedTimeToExpectedRewardVisitor(std::string const& timeRewardModelName);
15
16 std::shared_ptr<Formula> substitute(Formula const& f) const;
17
18 virtual boost::any visit(TimeOperatorFormula const& f, boost::any const& data) const override;
19
20 private:
21 std::string const& timeRewardModelName;
22};
23
24} // namespace logic
25} // namespace storm
virtual boost::any visit(TimeOperatorFormula const &f, boost::any const &data) const override
std::shared_ptr< Formula > substitute(Formula const &f) const
LabParser.cpp.
Definition cli.cpp:18