storm::umb::GenericVector Class Reference

#include <GenericVector.h>

Public Types
template<typename T>
using	Vec = storm::umb::VectorType<T>

Public Member Functions
template<typename T>
void	set (Vec< T > &&v)
template<typename T>
void	set (Vec< T > const &v)
void	unset ()
template<typename T>
Vec< T > &	get ()
template<typename T>
Vec< T > const &	get () const
template<typename T>
bool	isType () const
bool	hasValue () const
uint64_t	size () const
template<typename FromType, typename ToType>
auto	convertFromTo () const
template<typename T>
std::vector< T >	asVector () const
template<typename ValueType>
ValueType	at (uint64_t index) const

Detailed Description

Definition at line 16 of file GenericVector.h.

Member Typedef Documentation

Vec

template<typename T>

using storm::umb::GenericVector::Vec = storm::umb::VectorType<T>

Definition at line 19 of file GenericVector.h.

Member Function Documentation

asVector()

template<typename T>

std::vector< T > storm::umb::GenericVector::asVector ( ) const

inline

Definition at line 71 of file GenericVector.h.

at()

template<typename ValueType>

ValueType storm::umb::GenericVector::at ( uint64_t index ) const

inline

Definition at line 101 of file GenericVector.h.

convertFromTo()

template<typename FromType, typename ToType>

auto storm::umb::GenericVector::convertFromTo ( ) const

inline

Definition at line 61 of file GenericVector.h.

get() [1/2]

template<typename T>

Vec< T > & storm::umb::GenericVector::get ( )

inline

Definition at line 34 of file GenericVector.h.

get() [2/2]

template<typename T>

Vec< T > const & storm::umb::GenericVector::get ( ) const

inline

Definition at line 40 of file GenericVector.h.

hasValue()

bool storm::umb::GenericVector::hasValue

(

)

const

Returns

true if this holds some vector of any type.

Definition at line 11 of file GenericVector.cpp.

isType()

template<typename T>

bool storm::umb::GenericVector::isType ( ) const

inline

Definition at line 46 of file GenericVector.h.

set() [1/2]

template<typename T>

void storm::umb::GenericVector::set ( Vec< T > && v )

inline

Definition at line 22 of file GenericVector.h.

set() [2/2]

template<typename T>

void storm::umb::GenericVector::set ( Vec< T > const & v )

inline

Definition at line 27 of file GenericVector.h.

size()

uint64_t storm::umb::GenericVector::size

(

)

const

Returns

the size of the held vector. 0 if no vector is held.

Definition at line 15 of file GenericVector.cpp.

unset()

void storm::umb::GenericVector::unset

(

)

Definition at line 7 of file GenericVector.cpp.

---

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

• src/storm/storage/umb/model/GenericVector.h
• src/storm/storage/umb/model/GenericVector.cpp