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

#include <reduce.hh>

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

Static Public Member Functions

template<typename Reduc , typename Vector >
static unsigned find_pivot (Reduc *that, const Vector &v, unsigned begin, 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

◆ find_pivot()

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

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