storm::generator::TransientVariableValuation< ValueType > Struct Template Reference

#include <TransientVariableInformation.h>

Public Member Functions
void	clear ()
bool	empty () const
void	setInEvaluator (storm::expressions::ExpressionEvaluator< ValueType > &evaluator, bool explorationChecks) const

Public Attributes
std::vector< std::pair< TransientVariableData< bool > const *, bool > >	booleanValues
std::vector< std::pair< TransientVariableData< int64_t > const *, int64_t > >	integerValues
std::vector< std::pair< TransientVariableData< ValueType > const *, ValueType > >	rationalValues

Detailed Description

template<typename ValueType>
struct storm::generator::TransientVariableValuation< ValueType >

Definition at line 56 of file TransientVariableInformation.h.

Member Function Documentation

clear()

template<typename ValueType >

void storm::generator::TransientVariableValuation< ValueType >::clear ( )

inline

Definition at line 61 of file TransientVariableInformation.h.

empty()

template<typename ValueType >

bool storm::generator::TransientVariableValuation< ValueType >::empty ( ) const

inline

Definition at line 67 of file TransientVariableInformation.h.

setInEvaluator()

template<typename ValueType >

void storm::generator::TransientVariableValuation< ValueType >::setInEvaluator ( storm::expressions::ExpressionEvaluator< ValueType > &  evaluator, bool  explorationChecks  ) const

inline

Definition at line 71 of file TransientVariableInformation.h.

Member Data Documentation

booleanValues

template<typename ValueType >

std::vector<std::pair<TransientVariableData<bool> const*, bool> > storm::generator::TransientVariableValuation< ValueType >::booleanValues

Definition at line 57 of file TransientVariableInformation.h.

integerValues

template<typename ValueType >

std::vector<std::pair<TransientVariableData<int64_t> const*, int64_t> > storm::generator::TransientVariableValuation< ValueType >::integerValues

Definition at line 58 of file TransientVariableInformation.h.

rationalValues

template<typename ValueType >

std::vector<std::pair<TransientVariableData<ValueType> const*, ValueType> > storm::generator::TransientVariableValuation< ValueType >::rationalValues

Definition at line 59 of file TransientVariableInformation.h.

---

The documentation for this struct was generated from the following file:

• src/storm/generator/TransientVariableInformation.h