dp-matrix-minimize.hh File Reference

Minimize the size of a given set of transition probability matrices by detecting equivalent states. More...

#include "common.hh"

Go to the source code of this file.

Functions
template<uint32_t M, uint32_t C>
bool	is_vec_equal (const uint32_t q[M][C], const uint32_t c[M][C][C], const uint32_t i)
template<uint32_t M, uint32_t C>
uint32_t	find_state (const uint32_t q[M][C], const uint32_t c[M][C][C], const uint32_t n)
template<uint32_t M, uint32_t N, uint32_t C>
uint32_t	combine_equiv (const uint32_t m[M][N][N], uint32_t c[M][C][C])

Detailed Description

Minimize the size of a given set of transition probability matrices by detecting equivalent states.

Author

N. Mouha, V. Velichkov, C. De Canni`{e}re and B. Preneel

Date

2010