Storm
A Modern Probabilistic Model Checker
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
ProbabilityOperatorFormula.h
Go to the documentation of this file.
1#ifndef STORM_LOGIC_PROBABILITYOPERATORFORMULA_H_
2#define STORM_LOGIC_PROBABILITYOPERATORFORMULA_H_
3
5
6namespace storm {
7namespace logic {
9 public:
10 ProbabilityOperatorFormula(std::shared_ptr<Formula const> const& subformula, OperatorInformation const& operatorInformation = OperatorInformation());
11
13 // Intentionally left empty.
14 }
15
16 virtual bool isProbabilityOperatorFormula() const override;
17
18 virtual boost::any accept(FormulaVisitor const& visitor, boost::any const& data) const override;
19
20 virtual std::ostream& writeToStream(std::ostream& out, bool allowParentheses = false) const override;
21};
22} // namespace logic
23} // namespace storm
24
25#endif /* STORM_LOGIC_PROBABILITYOPERATORFORMULA_H_ */
OperatorInformation operatorInformation
virtual bool isProbabilityOperatorFormula() const override
virtual boost::any accept(FormulaVisitor const &visitor, boost::any const &data) const override
virtual std::ostream & writeToStream(std::ostream &out, bool allowParentheses=false) const override
Writes the forumla to the given output stream.
LabParser.cpp.
Definition cli.cpp:18