Static Public Member Functions
static void	init (const Aut &aut, std::vector< std::vector< state_t > > &states_in_part, std::vector< unsigned > &part, std::queue< unsigned > &splitters, std::vector< bool > &is_in_queue)

Member Function Documentation

◆ init()

template<typename Aut >

static void awali::sttc::internal::backward_initialisation< Aut, b >::init	(	const Aut &	aut,
		std::vector< std::vector< state_t > > &	states_in_part,
		std::vector< unsigned > &	part,
		std::queue< unsigned > &	splitters,
		std::vector< bool > &	is_in_queue
	)

static

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

/home/marsault/git-client/vcsn.telecom-paristech.fr/awali.git/awali/sttc/algos/quotient/congruence_det.hh