1#ifndef STORM_STORAGE_EXPRESSIONS_TRANSCENDENTALNUMBERLITERALEXPRESSION_H_
2#define STORM_STORAGE_EXPRESSIONS_TRANSCENDENTALNUMBERLITERALEXPRESSION_H_
37 virtual void gatherVariables(std::set<storm::expressions::Variable>& variables)
const override;
38 virtual std::shared_ptr<BaseExpression const>
simplify()
const override;
55 virtual void printToStream(std::ostream& stream)
const override;
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.
virtual ~TranscendentalNumberLiteralExpression()=default
TranscendentalNumberLiteralExpression(TranscendentalNumberLiteralExpression &&)=default
The base class of all valuations of variables.