congruence_det.hh File Reference

#include <vector>
#include <queue>
#include <awali/sttc/weightset/fwd.hh>
#include <awali/sttc/misc/linkedhashmap.hh>

Go to the source code of this file.

Data Structures
struct	awali::sttc::internal::backward_initialisation< Aut, Weightset >
struct	awali::sttc::internal::backward_initialisation< Aut, b >
struct	awali::sttc::internal::extended_label< Aut, Weightset >
struct	awali::sttc::internal::extended_label< Aut, b >

Namespaces
	awali
	Main namespace of Awali.
	awali::sttc
	Namespace for the static layer of Awali.
	awali::sttc::internal
	Implementation details of static layer (not stable).

Functions
template<typename Aut >
void	awali::sttc::hopcroft_det (const Aut &aut, std::vector< std::vector< state_t > > &states_in_part)
	minimization with Hopcroft for incomplete deterministic automata More...
template<typename Aut >
void	awali::sttc::internal::initialize_partition (const Aut &aut, std::vector< std::vector< state_t > > &states_in_part)
template<typename Aut >
void	awali::sttc::moore_det (const Aut &aut, std::vector< std::vector< state_t > > &states_in_part)
	Moore algorithm for the minimization of deterministic Boolean automata (DFA), not necessarily complete. More...