lat.hh File Reference

#include <awali/sttc/labelset/tupleset.hh>

Go to the source code of this file.

Namespaces
	awali
	Main namespace of Awali.
	awali::sttc
	Namespace for the static layer of Awali.
	awali::sttc::ctx
	Namespace containing all available contexts (weigh sets, label sets, etc.).

Typedefs
template<typename... ValueSets>
using	awali::sttc::ctx::lat = sttc::tupleset< ValueSets... >