storm::storage::SchedulerChoice< ValueType > Class Template Reference

#include <SchedulerChoice.h>

Public Member Functions
	SchedulerChoice ()
	Creates an undefined scheduler choice.
	SchedulerChoice (uint_fast64_t deterministicChoice)
	Creates a deterministic scheduler choice.
	SchedulerChoice (storm::storage::Distribution< ValueType, uint_fast64_t > const &randomizedChoice)
	Creates a scheduler choice that potentially considers randomization.
	SchedulerChoice (storm::storage::Distribution< ValueType, uint_fast64_t > &&randomizedChoice)
	Creates a scheduler choice that potentially considers randomization.
bool	isDefined () const
	Returns true iff this scheduler choice is defined.
bool	isDeterministic () const
	Returns true iff this scheduler choice is deterministic (i.e., not randomized)
uint_fast64_t	getDeterministicChoice () const
	If this choice is deterministic, this function returns the selected (local) choice index.
storm::storage::Distribution< ValueType, uint_fast64_t > const &	getChoiceAsDistribution () const
	Retrieves this choice in the form of a probability distribution.
template<typename NewValueType >
SchedulerChoice< NewValueType >	toValueType () const
	Changes the value type of this scheduler choice to the given one.

Detailed Description

template<typename ValueType>
class storm::storage::SchedulerChoice< ValueType >

Definition at line 10 of file SchedulerChoice.h.

Constructor & Destructor Documentation

SchedulerChoice() [1/4]

template<typename ValueType >

storm::storage::SchedulerChoice< ValueType >::SchedulerChoice

(

)

Creates an undefined scheduler choice.

Definition at line 14 of file SchedulerChoice.cpp.

SchedulerChoice() [2/4]

template<typename ValueType >

storm::storage::SchedulerChoice< ValueType >::SchedulerChoice

(

uint_fast64_t

deterministicChoice

)

Creates a deterministic scheduler choice.

Parameters

deterministicChoice

the (local) choice index

Definition at line 19 of file SchedulerChoice.cpp.

SchedulerChoice() [3/4]

template<typename ValueType >

storm::storage::SchedulerChoice< ValueType >::SchedulerChoice

(

storm::storage::Distribution< ValueType, uint_fast64_t > const &

randomizedChoice

)

Creates a scheduler choice that potentially considers randomization.

Parameters

randomizedChoice

a distribution over the (local) choice indices

Definition at line 24 of file SchedulerChoice.cpp.

SchedulerChoice() [4/4]

template<typename ValueType >

storm::storage::SchedulerChoice< ValueType >::SchedulerChoice

(

storm::storage::Distribution< ValueType, uint_fast64_t > &&

randomizedChoice

)

Creates a scheduler choice that potentially considers randomization.

Parameters

randomizedChoice

a distribution over the (local) choice indices

Definition at line 29 of file SchedulerChoice.cpp.

Member Function Documentation

getChoiceAsDistribution()

template<typename ValueType >

storm::storage::Distribution< ValueType, uint_fast64_t > const & storm::storage::SchedulerChoice< ValueType >::getChoiceAsDistribution

(

)

const

Retrieves this choice in the form of a probability distribution.

Definition at line 52 of file SchedulerChoice.cpp.

getDeterministicChoice()

template<typename ValueType >

uint_fast64_t storm::storage::SchedulerChoice< ValueType >::getDeterministicChoice

(

)

const

If this choice is deterministic, this function returns the selected (local) choice index.

Otherwise, an exception is thrown.

Definition at line 45 of file SchedulerChoice.cpp.

isDefined()

template<typename ValueType >

bool storm::storage::SchedulerChoice< ValueType >::isDefined

(

)

const

Returns true iff this scheduler choice is defined.

Definition at line 35 of file SchedulerChoice.cpp.

isDeterministic()

template<typename ValueType >

bool storm::storage::SchedulerChoice< ValueType >::isDeterministic

(

)

const

Returns true iff this scheduler choice is deterministic (i.e., not randomized)

Definition at line 40 of file SchedulerChoice.cpp.

toValueType()

template<typename ValueType >

template<typename NewValueType >

SchedulerChoice< NewValueType > storm::storage::SchedulerChoice< ValueType >::toValueType ( ) const

inline

Changes the value type of this scheduler choice to the given one.

Definition at line 60 of file SchedulerChoice.h.

---

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

• src/storm/storage/SchedulerChoice.h
• src/storm/storage/SchedulerChoice.cpp