awali::sttc::internal::enumerater< Aut > Class Template Reference

#include <enumerate.hh>

Public Types
using	automaton_t = Aut
using	context_t = context_t_of< Aut >
using	genset_t = typename labelset_t_of< automaton_t >::genset_t
using	label_t = label_t_of< automaton_t >
using	labelset_t = labelset_t_of< automaton_t >
using	monomial_t = std::pair< word_t, weight_t >
	Same as polynomial_t::value_type. More...
using	polynomial_t = typename polynomialset_t::value_t
using	polynomialset_t = polynomialset< wordset_context_t >
using	queue_t = std::list< std::pair< state_t, monomial_t > >
using	weight_t = weight_t_of< automaton_t >
using	weightset_t = weightset_t_of< automaton_t >
using	word_t = typename labelset_t::word_t
using	wordset_context_t = context< wordset_t, weightset_t >
using	wordset_t = typename labelset_trait< labelset_t >::wordset_t

Public Member Functions
	enumerater (const automaton_t &aut)
polynomial_t	enumerate (unsigned max)
	The weighted accepted word with length at most max. More...
polynomial_t	shortest (unsigned num)
	The shortest accepted weighted words, or throw an exception. More...

Member Typedef Documentation

automaton_t

template<typename Aut >

using awali::sttc::internal::enumerater< Aut >::automaton_t = Aut

context_t

template<typename Aut >

using awali::sttc::internal::enumerater< Aut >::context_t = context_t_of<Aut>

genset_t

template<typename Aut >

using awali::sttc::internal::enumerater< Aut >::genset_t = typename labelset_t_of<automaton_t>::genset_t

label_t

template<typename Aut >

using awali::sttc::internal::enumerater< Aut >::label_t = label_t_of<automaton_t>

labelset_t

template<typename Aut >

using awali::sttc::internal::enumerater< Aut >::labelset_t = labelset_t_of<automaton_t>

monomial_t

template<typename Aut >

using awali::sttc::internal::enumerater< Aut >::monomial_t = std::pair<word_t, weight_t>

Same as polynomial_t::value_type.

polynomial_t

template<typename Aut >

using awali::sttc::internal::enumerater< Aut >::polynomial_t = typename polynomialset_t::value_t

polynomialset_t

template<typename Aut >

using awali::sttc::internal::enumerater< Aut >::polynomialset_t = polynomialset<wordset_context_t>

queue_t

template<typename Aut >

using awali::sttc::internal::enumerater< Aut >::queue_t = std::list<std::pair<state_t, monomial_t> >

weight_t

template<typename Aut >

using awali::sttc::internal::enumerater< Aut >::weight_t = weight_t_of<automaton_t>

weightset_t

template<typename Aut >

using awali::sttc::internal::enumerater< Aut >::weightset_t = weightset_t_of<automaton_t>

word_t

template<typename Aut >

using awali::sttc::internal::enumerater< Aut >::word_t = typename labelset_t::word_t

wordset_context_t

template<typename Aut >

using awali::sttc::internal::enumerater< Aut >::wordset_context_t = context<wordset_t,weightset_t>

wordset_t

template<typename Aut >

using awali::sttc::internal::enumerater< Aut >::wordset_t = typename labelset_trait<labelset_t>::wordset_t

Constructor & Destructor Documentation

enumerater()

template<typename Aut >

awali::sttc::internal::enumerater< Aut >::enumerater

(

const automaton_t &

aut

)

Member Function Documentation

enumerate()

template<typename Aut >

polynomial_t awali::sttc::internal::enumerater< Aut >::enumerate

(

unsigned

max

)

The weighted accepted word with length at most max.

shortest()

template<typename Aut >

polynomial_t awali::sttc::internal::enumerater< Aut >::shortest

(

unsigned

num

)

The shortest accepted weighted words, or throw an exception.

---

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

• /home/marsault/git-client/telecom/awali.git/awali/sttc/algos/enumerate.hh