mCRL2
Loading...
Searching...
No Matches
mcrl2::lts::detail::bisim_gjkw::fixed_vector< T > Class Template Reference

#include <fixed_vector.h>

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

Public Member Functions

 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::bisim_gjkw::fixed_vector< T >

Definition at line 40 of file fixed_vector.h.

Constructor & Destructor Documentation

◆ fixed_vector() [1/2]

template<class T >
mcrl2::lts::detail::bisim_gjkw::fixed_vector< T >::fixed_vector ( size_type  n)
inlineexplicit

Definition at line 56 of file fixed_vector.h.

◆ fixed_vector() [2/2]

template<class T >
mcrl2::lts::detail::bisim_gjkw::fixed_vector< T >::fixed_vector ( size_type  n,
init 
)
inlineexplicit

Definition at line 57 of file fixed_vector.h.

Member Function Documentation

◆ operator[]() [1/2]

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

Definition at line 66 of file fixed_vector.h.

◆ operator[]() [2/2]

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

Definition at line 67 of file fixed_vector.h.


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