#include <ExpressionManager.h>

Public Types
enum class	VariableSelection { OnlyRegularVariables , OnlyAuxiliaryVariables , AllVariables }

using	iterator_category = std::input_iterator_tag

using	value_type = std::pair< storm::expressions::Variable, storm::expressions::Type > const

using	difference_type = std::ptrdiff_t

using	pointer = std::pair< storm::expressions::Variable, storm::expressions::Type > const *

using	reference = std::pair< storm::expressions::Variable, storm::expressions::Type > const &

Public Member Functions
	VariableIterator (ExpressionManager const &manager, std::unordered_map< std::string, uint_fast64_t >::const_iterator nameIndexIterator, std::unordered_map< std::string, uint_fast64_t >::const_iterator nameIndexIteratorEnd, VariableSelection const &selection)

	VariableIterator (VariableIterator &&other)=default

bool	operator== (VariableIterator const &other)

bool	operator!= (VariableIterator const &other)

value_type &	operator* ()

VariableIterator &	operator++ (int)

VariableIterator &	operator++ ()

Detailed Description

Definition at line 23 of file ExpressionManager.h.

Member Typedef Documentation

◆ difference_type

using storm::expressions::VariableIterator::difference_type = std::ptrdiff_t

Definition at line 28 of file ExpressionManager.h.

◆ iterator_category

using storm::expressions::VariableIterator::iterator_category = std::input_iterator_tag

Definition at line 26 of file ExpressionManager.h.

◆ pointer

using storm::expressions::VariableIterator::pointer = std::pair<storm::expressions::Variable, storm::expressions::Type> const*

Definition at line 29 of file ExpressionManager.h.

◆ reference

using storm::expressions::VariableIterator::reference = std::pair<storm::expressions::Variable, storm::expressions::Type> const&

Definition at line 30 of file ExpressionManager.h.

◆ value_type

using storm::expressions::VariableIterator::value_type = std::pair<storm::expressions::Variable, storm::expressions::Type> const

Definition at line 27 of file ExpressionManager.h.

Member Enumeration Documentation

◆ VariableSelection

enum class storm::expressions::VariableIterator::VariableSelection

strong

Enumerator
OnlyRegularVariables
OnlyAuxiliaryVariables
AllVariables

Definition at line 32 of file ExpressionManager.h.

Constructor & Destructor Documentation

◆ VariableIterator() [1/2]

storm::expressions::VariableIterator::VariableIterator	(	ExpressionManager const &	manager,
		std::unordered_map< std::string, uint_fast64_t >::const_iterator	nameIndexIterator,
		std::unordered_map< std::string, uint_fast64_t >::const_iterator	nameIndexIteratorEnd,
		VariableSelection const &	selection
	)

Definition at line 12 of file ExpressionManager.cpp.

◆ VariableIterator() [2/2]

storm::expressions::VariableIterator::VariableIterator ( VariableIterator && other )

default

Member Function Documentation

◆ operator!=()

bool storm::expressions::VariableIterator::operator!= ( VariableIterator const & other )

Definition at line 22 of file ExpressionManager.cpp.

◆ operator*()

VariableIterator::value_type & storm::expressions::VariableIterator::operator* ( )

Definition at line 26 of file ExpressionManager.cpp.

◆ operator++() [1/2]

VariableIterator & storm::expressions::VariableIterator::operator++ ( )

Definition at line 35 of file ExpressionManager.cpp.

◆ operator++() [2/2]

VariableIterator & storm::expressions::VariableIterator::operator++ ( int )

Definition at line 30 of file ExpressionManager.cpp.

◆ operator==()

bool storm::expressions::VariableIterator::operator== ( VariableIterator const & other )

Definition at line 18 of file ExpressionManager.cpp.

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

src/storm/storage/expressions/ExpressionManager.h
src/storm/storage/expressions/ExpressionManager.cpp

Public Types

Public Member Functions