letterset.hh File Reference

#include <memory>
#include <awali/sttc/alphabets/setalpha.hh>
#include <awali/sttc/core/kind.hh>
#include <awali/common/json/node.cc>
#include <awali/sttc/misc/attributes.hh>
#include <awali/sttc/misc/escape.hh>
#include <awali/sttc/misc/raise.hh>
#include <awali/common/parse_exception.cc>
#include <sstream>
#include <awali/sttc/misc/set.hh>
#include <awali/sttc/labelset/wordset.hh>
#include <awali/common/version.hh>

Go to the source code of this file.

Data Structures
class	awali::sttc::letterset< GenSet >
	Implementation of labels are letters. More...

Namespaces
	awali
	Main namespace of Awali.
	awali::sttc
	Namespace for the static layer of Awali.

Functions
template<typename GenSet >
letterset< GenSet >	awali::sttc::join (const letterset< GenSet > &lhs, const letterset< GenSet > &rhs)
	Compute the join with another labelset. More...
template<typename T , typename U >
T	awali::sttc::join (const T &l, const U &)
template<typename GenSet >
letterset< GenSet >	awali::sttc::meet (const letterset< GenSet > &lhs, const letterset< GenSet > &rhs)
	Compute the meet with another labelset. More...