universal.hh File Reference

#include <map>
#include <awali/sttc/misc/set.hh>
#include <awali/sttc/algos/determinize.hh>
#include <awali/sttc/algos/transpose.hh>
#include <awali/sttc/weightset/fwd.hh>

Go to the source code of this file.

Data Structures
class	awali::sttc::internal::universaler< Aut >
	Functor for universal. More...

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<class Aut >
Aut	awali::sttc::universal (const Aut &a)