Awali
Another Weighted Automata library
Namespaces | Functions
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...