Vcsn  2.3
Be Rational
join-automata.hh File Reference
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...