storm::expressions::ToCppVisitor Class Reference

#include <ToCppVisitor.h>

Inheritance diagram for storm::expressions::ToCppVisitor:

Collaboration diagram for storm::expressions::ToCppVisitor:

Public Member Functions
std::string	translate (storm::expressions::Expression const &expression, ToCppTranslationOptions const &options)
virtual boost::any	visit (IfThenElseExpression const &expression, boost::any const &data) override
virtual boost::any	visit (BinaryBooleanFunctionExpression const &expression, boost::any const &data) override
virtual boost::any	visit (BinaryNumericalFunctionExpression const &expression, boost::any const &data) override
virtual boost::any	visit (BinaryRelationExpression const &expression, boost::any const &data) override
virtual boost::any	visit (VariableExpression const &expression, boost::any const &data) override
virtual boost::any	visit (UnaryBooleanFunctionExpression const &expression, boost::any const &data) override
virtual boost::any	visit (UnaryNumericalFunctionExpression const &expression, boost::any const &data) override
virtual boost::any	visit (BooleanLiteralExpression const &expression, boost::any const &data) override
virtual boost::any	visit (IntegerLiteralExpression const &expression, boost::any const &data) override
virtual boost::any	visit (RationalLiteralExpression const &expression, boost::any const &data) override
Public Member Functions inherited from storm::expressions::ExpressionVisitor
virtual	~ExpressionVisitor ()=default
virtual boost::any	visit (PredicateExpression const &expression, boost::any const &data)

Detailed Description

Definition at line 31 of file ToCppVisitor.h.

Member Function Documentation

translate()

std::string storm::expressions::ToCppVisitor::translate	(	storm::expressions::Expression const &	expression,
		ToCppTranslationOptions const &	options
	)

Definition at line 31 of file ToCppVisitor.cpp.

visit() [1/10]

boost::any storm::expressions::ToCppVisitor::visit ( BinaryBooleanFunctionExpression const &  expression, boost::any const &  data  )

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 53 of file ToCppVisitor.cpp.

visit() [2/10]

boost::any storm::expressions::ToCppVisitor::visit ( BinaryNumericalFunctionExpression const &  expression, boost::any const &  data  )

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 96 of file ToCppVisitor.cpp.

visit() [3/10]

boost::any storm::expressions::ToCppVisitor::visit ( BinaryRelationExpression const &  expression, boost::any const &  data  )

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 160 of file ToCppVisitor.cpp.

visit() [4/10]

boost::any storm::expressions::ToCppVisitor::visit ( BooleanLiteralExpression const &  expression, boost::any const &  data  )

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 306 of file ToCppVisitor.cpp.

visit() [5/10]

boost::any storm::expressions::ToCppVisitor::visit ( IfThenElseExpression const &  expression, boost::any const &  data  )

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 38 of file ToCppVisitor.cpp.

visit() [6/10]

boost::any storm::expressions::ToCppVisitor::visit ( IntegerLiteralExpression const &  expression, boost::any const &  data  )

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 311 of file ToCppVisitor.cpp.

visit() [7/10]

boost::any storm::expressions::ToCppVisitor::visit ( RationalLiteralExpression const &  expression, boost::any const &  data  )

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 330 of file ToCppVisitor.cpp.

visit() [8/10]

boost::any storm::expressions::ToCppVisitor::visit ( UnaryBooleanFunctionExpression const &  expression, boost::any const &  data  )

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 257 of file ToCppVisitor.cpp.

visit() [9/10]

boost::any storm::expressions::ToCppVisitor::visit ( UnaryNumericalFunctionExpression const &  expression, boost::any const &  data  )

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 270 of file ToCppVisitor.cpp.

visit() [10/10]

boost::any storm::expressions::ToCppVisitor::visit ( VariableExpression const &  expression, boost::any const &  data  )

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 230 of file ToCppVisitor.cpp.

---

The documentation for this class was generated from the following files:

• src/storm/storage/expressions/ToCppVisitor.h
• src/storm/storage/expressions/ToCppVisitor.cpp