join-automata.hh File Reference

#include <vcsn/core/mutable-automaton.hh>

Include dependency graph for join-automata.hh:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
	vcsn
	vcsn::detail

Typedefs
template<Automaton... Auts>
using	vcsn::detail::join_automata_t = decltype(join_automata< std::declval< Auts >()... >)
	The type of the join between automata of type Auts. More...

Functions
template<Automaton... Auts>
auto	vcsn::detail::join_automata (Auts &&...auts) -> decltype(pass(auts->null_state()...), make_mutable_automaton(join(auts->context()...)))
	An automaton whose type is the join between those of auts. More...
template<Automaton... Auts>
auto	vcsn::detail::nullable_join_context (Auts &&...auts) -> decltype(pass(auts->null_state()...), make_nullableset_context(join(auts->context()...)))
	The nullable context of the join between parameters' context. More...
template<Automaton... Auts>
auto	vcsn::detail::nullable_join_automata (Auts &&...auts) -> decltype(pass(auts->null_state()...), make_mutable_automaton(nullable_join_context(auts...)))
	An automaton whose type is the nullable join between those of auts. More...
template<Automaton... Auts>
auto	vcsn::detail::meet_automata (Auts &&...auts) -> decltype(pass(auts->null_state()...), make_mutable_automaton(meet(auts->context()...)))
	An automaton whose type is the meet between those of auts. More...