Awali
Another Weighted Automata library
Namespaces | Functions
min_quotient.hh File Reference
#include <awali/common/enums.hh>
#include <awali/sttc/algos/quotient/moore_quotient.hh>
#include <awali/sttc/algos/quotient/hopcroft_quotient.hh>
#include <awali/sttc/algos/quotient/congruence_det.hh>
#include <awali/sttc/algos/merge.hh>

Go to the source code of this file.

Namespaces

 awali
 Main namespace of Awali.
 
 awali::sttc
 Namespace for the static layer of Awali.
 

Functions

template<typename Aut >
Aut awali::sttc::min_quotient (const Aut &aut, quotient_algo_t algo=MOORE, bool keep_history=true)
 
template<typename Aut >
Aut awali::sttc::min_quotient_det (const Aut &aut, quotient_algo_t algo=MOORE, bool keep_history=true)
 
template<typename Aut >
Aut awali::sttc::minimize (const Aut &aut, quotient_algo_t algo=MOORE, bool keep_history=true)