![]() |
Vcsn
2.1
Be Rational
|
Functor for universal. More...
#include <universal.hh>
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... | |
Functor for universal.
Definition at line 14 of file universal.hh.
using vcsn::detail::universaler< Aut >::automaton_t = Aut |
Definition at line 22 of file universal.hh.
using vcsn::detail::universaler< Aut >::map_t = std::map<state_t, state_set_t> |
Definition at line 26 of file universal.hh.
using vcsn::detail::universaler< Aut >::pstate_t = std::set<state_set_t> |
Definition at line 25 of file universal.hh.
using vcsn::detail::universaler< Aut >::state_set_t = std::set<state_t> |
Definition at line 24 of file universal.hh.
using vcsn::detail::universaler< Aut >::state_t = state_t_of<automaton_t> |
Definition at line 23 of file universal.hh.
|
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_().
|
inlineprivate |
Work on aut, which is complete and deterministic.
Definition at line 43 of file universal.hh.
References vcsn::determinize(), vcsn::has(), vcsn::image(), vcsn::intersection_closure(), vcsn::make_fresh_automaton(), vcsn::subset(), and vcsn::transpose().
Referenced by vcsn::detail::universaler< Aut >::operator()().