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)