storm::expressions::VariableIterator Class Reference

#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) const
bool	operator!= (VariableIterator const &other) const
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

)

const

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

)

const

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