concatenate.hh File Reference

#include <unordered_set>
#include <vector>
#include <awali/common/priority.hh>
#include <awali/sttc/algos/copy.hh>
#include <awali/sttc/labelset/nullableset.hh>
#include <awali/sttc/algos/product.hh>
#include <awali/sttc/algos/standard.hh>
#include <awali/sttc/algos/sum.hh>
#include <awali/sttc/core/mutable_automaton.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 Aut >
Aut	awali::sttc::chain (const Aut &aut, unsigned min, int max)
	chains automata to compute powers of a series More...
template<typename RatExpSet >
RatExpSet::ratexp_t	awali::sttc::chain (const RatExpSet &rs, const typename RatExpSet::ratexp_t &r, unsigned min, int max)
	computes powers of rational exp More...
template<typename Aut1 , typename Aut2 >
auto	awali::sttc::concatenate (const Aut1 &aut1, const Aut2 &aut2) -> decltype(join_automata(aut1, aut2))
	Concatenates two automata. More...
template<typename ValueSet >
ValueSet::value_t	awali::sttc::concatenate (const ValueSet &vs, const typename ValueSet::value_t &lhs, const typename ValueSet::value_t &rhs)
	wrapper for the multiplication of values More...
template<typename A , typename B , typename P >
A &	awali::sttc::internal::concatenate_here (A &res, B b, priority::ONE< P >)
template<typename A , typename B , typename P >
auto	awali::sttc::internal::concatenate_here (A &res, B b, priority::TWO< P >) -> typename std::enable_if< labelset_t_of< A >::has_one(), A & >::type
template<typename A , typename B >
A &	awali::sttc::concatenate_here (A &res, const B &aut)
	Concatenation of an automaton to another one. More...