Vcsn  2.0
Be Rational
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
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<typename Aut>
class vcsn::detail::universaler< Aut >

Functor for universal.

Definition at line 17 of file universal.hh.

Member Typedef Documentation

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

Definition at line 25 of file universal.hh.

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

Definition at line 29 of file universal.hh.

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

Definition at line 28 of file universal.hh.

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

Definition at line 27 of file universal.hh.

template<typename Aut>
using vcsn::detail::universaler< Aut >::state_t = state_t_of<automaton_t>

Definition at line 26 of file universal.hh.

Member Function Documentation

template<typename Aut>
automaton_t vcsn::detail::universaler< Aut >::operator() ( const Aut &  automaton)
inline

The universal automaton of automaton.

Definition at line 32 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<typename 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 46 of file universal.hh.

References vcsn::determinize(), vcsn::has(), vcsn::image(), vcsn::intersection_closure(), 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: