#include <AddExpressionAdapter.h>

Inheritance diagram for storm::adapters::AddExpressionAdapter< Type, ValueType >:

Collaboration diagram for storm::adapters::AddExpressionAdapter< Type, ValueType >:

Public Member Functions
	AddExpressionAdapter (std::shared_ptr< storm::dd::DdManager< Type > > ddManager, std::shared_ptr< std::map< storm::expressions::Variable, storm::expressions::Variable > > const &variableMapping)

storm::dd::Add< Type, ValueType >	translateExpression (storm::expressions::Expression const &expression)

storm::dd::Bdd< Type >	translateBooleanExpression (storm::expressions::Expression const &expression)

void	setValue (storm::expressions::Variable const &variable, ValueType const &value)

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

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

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

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

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

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

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

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

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

virtual boost::any	visit (storm::expressions::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

template<storm::dd::DdType Type, typename ValueType = double>
class storm::adapters::AddExpressionAdapter< Type, ValueType >

Definition at line 18 of file AddExpressionAdapter.h.

Constructor & Destructor Documentation

◆ AddExpressionAdapter()

template<storm::dd::DdType Type, typename ValueType >

storm::adapters::AddExpressionAdapter< Type, ValueType >::AddExpressionAdapter	(	std::shared_ptr< storm::dd::DdManager< Type > >	ddManager,
		std::shared_ptr< std::map< storm::expressions::Variable, storm::expressions::Variable > > const &	variableMapping
	)

Definition at line 20 of file AddExpressionAdapter.cpp.

Member Function Documentation

◆ setValue()

template<storm::dd::DdType Type, typename ValueType >

void storm::adapters::AddExpressionAdapter< Type, ValueType >::setValue	(	storm::expressions::Variable const &	variable,
		ValueType const &	value
	)

Definition at line 43 of file AddExpressionAdapter.cpp.

◆ translateBooleanExpression()

template<storm::dd::DdType Type, typename ValueType >

storm::dd::Bdd< Type > storm::adapters::AddExpressionAdapter< Type, ValueType >::translateBooleanExpression ( storm::expressions::Expression const & expression )

Definition at line 37 of file AddExpressionAdapter.cpp.

◆ translateExpression()

template<storm::dd::DdType Type, typename ValueType >

storm::dd::Add< Type, ValueType > storm::adapters::AddExpressionAdapter< Type, ValueType >::translateExpression ( storm::expressions::Expression const & expression )

Definition at line 28 of file AddExpressionAdapter.cpp.

◆ visit() [1/10]

template<storm::dd::DdType Type, typename ValueType >

boost::any storm::adapters::AddExpressionAdapter< Type, ValueType >::visit	(	storm::expressions::BinaryBooleanFunctionExpression const &	expression,
		boost::any const &	data
	)

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 63 of file AddExpressionAdapter.cpp.

◆ visit() [2/10]

template<storm::dd::DdType Type, typename ValueType >

boost::any storm::adapters::AddExpressionAdapter< Type, ValueType >::visit	(	storm::expressions::BinaryNumericalFunctionExpression const &	expression,
		boost::any const &	data
	)

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 90 of file AddExpressionAdapter.cpp.

◆ visit() [3/10]

template<storm::dd::DdType Type, typename ValueType >

boost::any storm::adapters::AddExpressionAdapter< Type, ValueType >::visit	(	storm::expressions::BinaryRelationExpression const &	expression,
		boost::any const &	data
	)

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 131 of file AddExpressionAdapter.cpp.

◆ visit() [4/10]

template<storm::dd::DdType Type, typename ValueType >

boost::any storm::adapters::AddExpressionAdapter< Type, ValueType >::visit	(	storm::expressions::BooleanLiteralExpression const &	expression,
		boost::any const &	data
	)

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 213 of file AddExpressionAdapter.cpp.

◆ visit() [5/10]

template<storm::dd::DdType Type, typename ValueType >

boost::any storm::adapters::AddExpressionAdapter< Type, ValueType >::visit	(	storm::expressions::IfThenElseExpression const &	expression,
		boost::any const &	data
	)

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 48 of file AddExpressionAdapter.cpp.

◆ visit() [6/10]

template<storm::dd::DdType Type, typename ValueType >

boost::any storm::adapters::AddExpressionAdapter< Type, ValueType >::visit	(	storm::expressions::IntegerLiteralExpression const &	expression,
		boost::any const &	data
	)

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 218 of file AddExpressionAdapter.cpp.

◆ visit() [7/10]

template<storm::dd::DdType Type, typename ValueType >

boost::any storm::adapters::AddExpressionAdapter< Type, ValueType >::visit	(	storm::expressions::RationalLiteralExpression const &	expression,
		boost::any const &	data
	)

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 223 of file AddExpressionAdapter.cpp.

◆ visit() [8/10]

template<storm::dd::DdType Type, typename ValueType >

boost::any storm::adapters::AddExpressionAdapter< Type, ValueType >::visit	(	storm::expressions::UnaryBooleanFunctionExpression const &	expression,
		boost::any const &	data
	)

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 179 of file AddExpressionAdapter.cpp.

◆ visit() [9/10]

template<storm::dd::DdType Type, typename ValueType >

boost::any storm::adapters::AddExpressionAdapter< Type, ValueType >::visit	(	storm::expressions::UnaryNumericalFunctionExpression const &	expression,
		boost::any const &	data
	)

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 192 of file AddExpressionAdapter.cpp.

◆ visit() [10/10]

template<storm::dd::DdType Type, typename ValueType >

boost::any storm::adapters::AddExpressionAdapter< Type, ValueType >::visit	(	storm::expressions::VariableExpression const &	expression,
		boost::any const &	data
	)

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 161 of file AddExpressionAdapter.cpp.

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

src/storm/adapters/AddExpressionAdapter.h
src/storm/adapters/AddExpressionAdapter.cpp

Public Member Functions

Detailed Description

Constructor & Destructor Documentation

◆ AddExpressionAdapter()

Member Function Documentation

◆ setValue()

◆ translateBooleanExpression()

◆ translateExpression()

◆ visit() [1/10]

◆ visit() [2/10]

◆ visit() [3/10]

◆ visit() [4/10]

◆ visit() [5/10]

◆ visit() [6/10]

◆ visit() [7/10]

◆ visit() [8/10]

◆ visit() [9/10]

◆ visit() [10/10]