enumerate.hh File Reference

#include <algorithm>
#include <iostream>
#include <list>
#include <map>
#include <queue>
#include <vector>
#include <awali/sttc/ctx/context.hh>
#include <awali/sttc/weightset/polynomialset.hh>
#include <awali/sttc/labelset/traits.hh>
#include <awali/sttc/algos/accessible.hh>

Go to the source code of this file.

Data Structures
class	awali::sttc::internal::enumerater< Aut >

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 Automaton >
internal::enumerater< Automaton >::polynomial_t	awali::sttc::enumerate (const Automaton &aut, unsigned max_length)
	Gives the weight associated with each word shorter than max_length by aut. More...
template<typename Automaton >
internal::enumerater< Automaton >::polynomial_t	awali::sttc::shortest (const Automaton &aut, unsigned num)
	Computes the weight of the num smallest words accepted by the automaton. More...