Vcsn  2.2
Be Rational
vcsn::detail::universaler< Aut > Class Template Reference

Functor for universal. More...

#include <universal.hh>

Collaboration diagram for vcsn::detail::universaler< 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::universaler< Aut >

Functor for universal.

Definition at line 14 of file universal.hh.

Member Typedef Documentation

template<Automaton Aut>
using vcsn::detail::universaler< Aut >::automaton_t = Aut

Definition at line 22 of file universal.hh.

template<Automaton Aut>
using vcsn::detail::universaler< Aut >::map_t = std::map<state_t, state_set_t>

Definition at line 26 of file universal.hh.

template<Automaton Aut>
using vcsn::detail::universaler< Aut >::pstate_t = std::set<state_set_t>

Definition at line 25 of file universal.hh.

template<Automaton Aut>
using vcsn::detail::universaler< Aut >::state_set_t = std::set<state_t>

Definition at line 24 of file universal.hh.

template<Automaton Aut>
using vcsn::detail::universaler< 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::universaler< 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::universaler< Aut >::work_().

Here is the call graph for this function:

template<Automaton Aut>
automaton_t vcsn::detail::universaler< 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::subset(), and vcsn::transpose().

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

Here is the call graph for this function:


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