Awali
Another Weighted Automata library
Data Structures | Namespaces | Functions
setalpha.hh File Reference
#include <initializer_list>
#include <stdexcept>
#include <cassert>
#include <sstream>
#include <awali/common/version.hh>
#include <awali/common/json/utils.hh>
#include <awali/common/json/node.cc>
#include <awali/sttc/misc/raise.hh>
#include <awali/sttc/misc/set.hh>
#include <awali/sttc/misc/stream.hh>

Go to the source code of this file.

Data Structures

class  awali::sttc::set_alphabet< L >
 objets that represent the alphabets of letters as char More...
 

Namespaces

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

Functions

template<typename L2 >
set_alphabet< L2 > awali::sttc::get_union (const set_alphabet< L2 > &lhs, const set_alphabet< L2 > &rhs)
 
template<typename L2 >
set_alphabet< L2 > awali::sttc::intersection (const set_alphabet< L2 > &lhs, const set_alphabet< L2 > &rhs)