Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
TranscendentalNumberLiteralExpression.h
Go to the documentation of this file.
1#ifndef STORM_STORAGE_EXPRESSIONS_TRANSCENDENTALNUMBERLITERALEXPRESSION_H_
2#define STORM_STORAGE_EXPRESSIONS_TRANSCENDENTALNUMBERLITERALEXPRESSION_H_
3
7
8namespace storm {
9namespace expressions {
11 public:
16 PI, // π
17 E // EulerNumber
18 };
26
27 // Instantiate constructors and assignments with their default implementations.
33
34 // Override base class methods.
35 virtual double evaluateAsDouble(Valuation const* valuation = nullptr) const override;
36 virtual bool isLiteral() const override;
37 virtual void gatherVariables(std::set<storm::expressions::Variable>& variables) const override;
38 virtual std::shared_ptr<BaseExpression const> simplify() const override;
39 virtual boost::any accept(ExpressionVisitor& visitor, boost::any const& data) const override;
40
46
51 std::string asString() const;
52
53 protected:
54 // Override base class method.
55 virtual void printToStream(std::ostream& stream) const override;
56
57 private:
58 // The operand of the unary expression.
59 const TranscendentalNumber value;
60};
61} // namespace expressions
62} // namespace storm
63
64#endif /* STORM_STORAGE_EXPRESSIONS_TRANSCENDENTALNUMBERLITERALEXPRESSION_H_ */
The base class of all expression classes.
This class is responsible for managing a set of typed variables and all expressions using these varia...
virtual double evaluateAsDouble(Valuation const *valuation=nullptr) const override
Evaluates the expression under the valuation of unknowns (variables and constants) given by the valua...
TranscendentalNumber const & getTranscendentalNumber() const
Getter for the constant value stored by the object.
std::string asString() const
Get the Transcendental number as string, like in the Jani file (single character)
TranscendentalNumberLiteralExpression & operator=(TranscendentalNumberLiteralExpression const &other)=delete
virtual boost::any accept(ExpressionVisitor &visitor, boost::any const &data) const override
Accepts the given visitor by calling its visit method.
TranscendentalNumberLiteralExpression(TranscendentalNumberLiteralExpression const &other)=default
virtual std::shared_ptr< BaseExpression const > simplify() const override
Simplifies the expression according to some simple rules.
TranscendentalNumberLiteralExpression & operator=(TranscendentalNumberLiteralExpression &&)=delete
virtual void gatherVariables(std::set< storm::expressions::Variable > &variables) const override
Retrieves the set of all variables that appear in the expression.
virtual void printToStream(std::ostream &stream) const override
Prints the expression to the given stream.
TranscendentalNumber
Enum class to represent the supported TranscendentalNumbers.
virtual bool isLiteral() const override
Retrieves whether the expression is a literal.
TranscendentalNumberLiteralExpression(TranscendentalNumberLiteralExpression &&)=default
The base class of all valuations of variables.
Definition Valuation.h:16
LabParser.cpp.
Definition cli.cpp:18