Storm 1.14.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
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
void setInValuations (uint64_t const stateIndex, TransientVariableInformation< ValueType > const &info, storm::storage::sparse::ValuationsStorage &valuations) 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 62 of file TransientVariableInformation.h.

Member Function Documentation

◆ clear()

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

Definition at line 49 of file TransientVariableInformation.cpp.

◆ empty()

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

Definition at line 56 of file TransientVariableInformation.cpp.

◆ setInEvaluator()

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

Definition at line 61 of file TransientVariableInformation.cpp.

◆ setInValuations()

template<typename ValueType>
void storm::generator::TransientVariableValuation< ValueType >::setInValuations ( uint64_t const stateIndex,
TransientVariableInformation< ValueType > const & info,
storm::storage::sparse::ValuationsStorage & valuations ) const

Definition at line 82 of file TransientVariableInformation.cpp.

Member Data Documentation

◆ booleanValues

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

Definition at line 63 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 64 of file TransientVariableInformation.h.

◆ rationalValues

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

Definition at line 65 of file TransientVariableInformation.h.

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