vcsn::detail::universal_impl< Aut > Class Template Reference

Functor for universal. More...

#include <universal.hh>

Collaboration diagram for vcsn::detail::universal_impl< Aut >:

Public Types
using	automaton_t = Aut
using	state_t = state_t_of< automaton_t >
using	state_set_t = std::set< state_t >
using	pstate_t = std::set< state_set_t >
using	map_t = std::map< state_t, state_set_t >

Public Member Functions
automaton_t	operator() (const Aut &automaton)
	The universal automaton of automaton. More...

Private Member Functions
automaton_t	work_ (const automaton_t &aut)
	Work on aut, which is complete and deterministic. More...

Detailed Description

template<Automaton Aut>
class vcsn::detail::universal_impl< Aut >

Functor for universal.

Definition at line 14 of file universal.hh.

Member Typedef Documentation

template<Automaton Aut>

using vcsn::detail::universal_impl< Aut >::automaton_t = Aut

Definition at line 22 of file universal.hh.

template<Automaton Aut>

using vcsn::detail::universal_impl< Aut >::map_t = std::map<state_t, state_set_t>

Definition at line 26 of file universal.hh.

template<Automaton Aut>

using vcsn::detail::universal_impl< Aut >::pstate_t = std::set<state_set_t>

Definition at line 25 of file universal.hh.

template<Automaton Aut>

using vcsn::detail::universal_impl< Aut >::state_set_t = std::set<state_t>

Definition at line 24 of file universal.hh.

template<Automaton Aut>

using vcsn::detail::universal_impl< Aut >::state_t = state_t_of<automaton_t>

Definition at line 23 of file universal.hh.

Member Function Documentation

template<Automaton Aut>

automaton_t vcsn::detail::universal_impl< Aut >::operator() ( const Aut &  automaton )

inline

The universal automaton of automaton.

Definition at line 29 of file universal.hh.

References vcsn::complete(), vcsn::determinize(), vcsn::is_complete(), vcsn::is_deterministic(), vcsn::detail::strip(), and vcsn::detail::universal_impl< Aut >::work_().

Here is the call graph for this function:

template<Automaton Aut>

automaton_t vcsn::detail::universal_impl< Aut >::work_ ( const automaton_t &  aut )

inlineprivate

Work on aut, which is complete and deterministic.

Precondition

is_complete(aut)

is_deterministic(aut)

Definition at line 43 of file universal.hh.

References vcsn::determinize(), vcsn::detail::final_transitions(), vcsn::detail::front(), vcsn::has(), vcsn::image(), vcsn::detail::initial_transitions(), vcsn::intersection_closure(), vcsn::label_of(), vcsn::make_fresh_automaton(), vcsn::detail::out(), vcsn::res, vcsn::subset(), and vcsn::transpose().

Referenced by vcsn::detail::universal_impl< Aut >::operator()().

Here is the call graph for this function:

---

The documentation for this class was generated from the following file:

• vcsn/algos/universal.hh