product.hh File Reference

#include <iostream>
#include <map>
#include <utility>
#include <vector>
#include <memory>
#include <awali/sttc/history/tuple_history.hh>
#include <awali/sttc/core/transition_map.hh>
#include <awali/sttc/ctx/context.hh>
#include <awali/sttc/ctx/traits.hh>
#include <awali/sttc/misc/vector.hh>
#include <awali/sttc/misc/zip_maps.hh>

Go to the source code of this file.

Data Structures
class	awali::sttc::internal::product_algo_impl< Aut, Auts >
	Build the (accessible part of the) product. More...

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 Lhs , typename Rhs >
auto	awali::sttc::infiltration (const Lhs &lhs, const Rhs &rhs, bool keep_history=true) -> decltype(join_automata(lhs, rhs))
	Build the (accessible part of the) infiltration. More...
template<typename... Auts>
auto	awali::sttc::join_automata (Auts &&... auts) -> decltype(make_mutable_automaton(join(auts->context()...)))
	Join between automata. More...
template<typename... Auts>
auto	awali::sttc::k_product_no_history (const Auts &... as) -> decltype(join_automata(as...))
	Build the (accessible part of the) product. More...
template<typename... Auts>
auto	awali::sttc::k_product_with_history (const Auts &... as) -> decltype(join_automata(as...))
	Build the (accessible part of the) product. More...
template<typename... Auts>
auto	awali::sttc::k_shuffle_no_history (const Auts &... as) -> decltype(join_automata(as...))
	Build the (accessible part of the) product. More...
template<typename... Auts>
auto	awali::sttc::k_shuffle_with_history (const Auts &... as) -> decltype(join_automata(as...))
	Build the (accessible part of the) product. More...
template<typename... Auts>
auto	awali::sttc::meet_automata (Auts &&... auts) -> decltype(make_mutable_automaton(meet(auts->context()...)))
	Meet between automata. More...
template<typename Aut >
auto	awali::sttc::power (const Aut &aut, unsigned n) -> typename Aut::element_type::automaton_nocv_t
template<typename Lhs , typename Rhs >
auto	awali::sttc::product (const Lhs &lhs, const Rhs &rhs, bool keep_history=true) -> decltype(join_automata(lhs, rhs))
template<typename Lhs , typename Rhs >
auto	awali::sttc::shuffle (const Lhs &lhs, const Rhs &rhs, bool keep_history=true) -> decltype(join_automata(lhs, rhs))
template<typename WS , typename W1 , typename... W>
auto	awali::sttc::internal::variadic_mul (const WS &weightset, const W1 &w1, const W &... w) -> typename WS::value_t
template<typename WS , typename W1 , typename W2 >
auto	awali::sttc::internal::variadic_mul (const WS &weightset, const W1 &w1, const W2 &w2) -> typename WS::value_t