mcrl2::lts::detail::fixed_vector< T > Class Template Reference

#include <fixed_vector.h>

Inheritance diagram for mcrl2::lts::detail::fixed_vector< T >:

Public Member Functions
T *	data_end ()
const T *	data_end () const
const T *	data_cend () const
	fixed_vector (size_type n)
	fixed_vector (size_type n, T init)
T &	operator[] (size_type n)
const T &	operator[] (size_type n) const

Detailed Description

template<class T>
class mcrl2::lts::detail::fixed_vector< T >

Definition at line 38 of file fixed_vector.h.

Constructor & Destructor Documentation

fixed_vector() [1/2]

template<class T >

mcrl2::lts::detail::fixed_vector< T >::fixed_vector ( size_type  n )

inlineexplicit

Definition at line 64 of file fixed_vector.h.

fixed_vector() [2/2]

template<class T >

mcrl2::lts::detail::fixed_vector< T >::fixed_vector ( size_type  n, T  init  )

inlineexplicit

Definition at line 65 of file fixed_vector.h.

Member Function Documentation

data_cend()

template<class T >

const T * mcrl2::lts::detail::fixed_vector< T >::data_cend ( ) const

inline

Definition at line 62 of file fixed_vector.h.

data_end() [1/2]

template<class T >

T * mcrl2::lts::detail::fixed_vector< T >::data_end ( )

inline

Definition at line 60 of file fixed_vector.h.

data_end() [2/2]

template<class T >

const T * mcrl2::lts::detail::fixed_vector< T >::data_end ( ) const

inline

Definition at line 61 of file fixed_vector.h.

operator[]() [1/2]

template<class T >

T & mcrl2::lts::detail::fixed_vector< T >::operator[] ( size_type  n )

inline

Definition at line 71 of file fixed_vector.h.

operator[]() [2/2]

template<class T >

const T & mcrl2::lts::detail::fixed_vector< T >::operator[] ( size_type  n ) const

inline

Definition at line 72 of file fixed_vector.h.

---

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

• lts/include/mcrl2/lts/detail/fixed_vector.h