sum.hh File Reference

#include <map>
#include <awali/sttc/algos/product.hh>
#include <awali/sttc/algos/standard.hh>
#include <awali/sttc/ctx/traits.hh>
#include <awali/sttc/misc/raise.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::internal
	Implementation details of static layer (not stable).

Functions
template<typename Aut1 , typename Aut2 >
auto	awali::sttc::sum (const Aut1 &aut1, const Aut2 &aut2, bool sum_standard=false) -> decltype(join_automata(aut1, aut2))
	sums two automata More...
template<typename ValueSet >
ValueSet::value_t	awali::sttc::sum (const ValueSet &vs, const typename ValueSet::value_t &lhs, const typename ValueSet::value_t &rhs)
	Sums of values. More...
template<typename Res , typename Aut >
Res &	awali::sttc::sum_here (Res &res, const Aut &aut, bool sum_standard=false)
	Merge transitions of b into those of res. More...
template<typename A , typename B >
A &	awali::sttc::internal::sum_of_standard_here (A &res, const B &b)
	Merge transitions of b into those of res. More...