Awali
Another Weighted Automata library
Static Public Member Functions
awali::sttc::internal::select< z > Struct Reference

#include <reduce.hh>

Inheritance diagram for awali::sttc::internal::select< z >:
awali::sttc::internal::select< void >

Static Public Member Functions

template<typename Reduc , typename Basis >
static void bottom_up_reduction (Reduc *, Basis &, unsigned *)
 
template<typename Reduc , typename Vector >
static unsigned find_pivot (Reduc *that, const Vector &v, unsigned begin, unsigned *permutation)
 
template<typename Reduc , typename Vector >
static void normalisation_vector (Reduc *, Vector &, unsigned, unsigned *)
 
template<typename Reduc , typename Vector >
static void reduce_vector (Reduc *that, Vector &vbasis, Vector &current, unsigned b, unsigned *permutation)
 
template<typename Reduc , typename Basis , typename Vector >
static void vector_in_new_basis (Reduc *that, Basis &basis, Vector &current, Vector &new_vector, unsigned *permutation)
 
- Static Public Member Functions inherited from awali::sttc::internal::select< void >
static void bottom_up_reduction (Reduc *that, Basis &basis, unsigned *permutation)
 
static unsigned find_pivot (Reduc *that, const Vector &v, unsigned begin, unsigned *permutation)
 
static void normalisation_vector (Reduc *that, Vector &v, unsigned pivot, unsigned *permutation)
 
static void reduce_vector (Reduc *that, Vector &vbasis, Vector &current, unsigned b, unsigned *permutation)
 
static void vector_in_new_basis (Reduc *that, Basis &basis, Vector &current, Vector &new_vector, unsigned *permutation)
 

Member Function Documentation

◆ bottom_up_reduction()

template<typename Reduc , typename Basis >
static void awali::sttc::internal::select< z >::bottom_up_reduction ( Reduc *  ,
Basis &  ,
unsigned *   
)
static

◆ find_pivot()

template<typename Reduc , typename Vector >
static unsigned awali::sttc::internal::select< z >::find_pivot ( Reduc *  that,
const Vector &  v,
unsigned  begin,
unsigned *  permutation 
)
static

◆ normalisation_vector()

template<typename Reduc , typename Vector >
static void awali::sttc::internal::select< z >::normalisation_vector ( Reduc *  ,
Vector &  ,
unsigned  ,
unsigned *   
)
static

◆ reduce_vector()

template<typename Reduc , typename Vector >
static void awali::sttc::internal::select< z >::reduce_vector ( Reduc *  that,
Vector &  vbasis,
Vector &  current,
unsigned  b,
unsigned *  permutation 
)
static

◆ vector_in_new_basis()

template<typename Reduc , typename Basis , typename Vector >
static void awali::sttc::internal::select< z >::vector_in_new_basis ( Reduc *  that,
Basis &  basis,
Vector &  current,
Vector &  new_vector,
unsigned *  permutation 
)
static

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