![]() |
Vcsn
2.0
Be Rational
|
Copy an automaton. More...
#include <copy.hh>
Public Types | |
| using | in_state_t = state_t_of< AutIn > |
| using | out_state_t = state_t_of< AutOut > |
| using | origins_t = std::map< out_state_t, in_state_t > |
| A map from result state to original state. More... | |
Public Member Functions | |
| copier (const AutIn &in, AutOut &out) | |
| template<typename Pred > | |
| void | operator() (Pred keep_state) |
| origins_t | origins () const |
Static Public Member Functions | |
| static std::ostream & | print (const origins_t &orig, std::ostream &o) |
| Print the origins. More... | |
Public Attributes | |
| const AutIn & | in_ |
| Input automaton. More... | |
| AutOut & | out_ |
| Output automaton. More... | |
| std::unordered_map< in_state_t, out_state_t > | out_state |
| input state -> output state. More... | |
Copy an automaton.
| using vcsn::detail::copier< AutIn, AutOut >::in_state_t = state_t_of<AutIn> |
| using vcsn::detail::copier< AutIn, AutOut >::origins_t = std::map<out_state_t, in_state_t> |
| using vcsn::detail::copier< AutIn, AutOut >::out_state_t = state_t_of<AutOut> |
|
inline |
|
inline |
Definition at line 41 of file copy.hh.
References vcsn::detail::copier< AutIn, AutOut >::in_, vcsn::detail::copier< AutIn, AutOut >::out_, and vcsn::detail::copier< AutIn, AutOut >::out_state.
|
inline |
Definition at line 64 of file copy.hh.
References vcsn::detail::copier< AutIn, AutOut >::out_state.
|
inlinestatic |
| const AutIn& vcsn::detail::copier< AutIn, AutOut >::in_ |
Input automaton.
Definition at line 88 of file copy.hh.
Referenced by vcsn::detail::copier< AutIn, AutOut >::operator()().
| AutOut& vcsn::detail::copier< AutIn, AutOut >::out_ |
Output automaton.
Definition at line 90 of file copy.hh.
Referenced by vcsn::detail::copier< AutIn, AutOut >::operator()().
| std::unordered_map<in_state_t, out_state_t> vcsn::detail::copier< AutIn, AutOut >::out_state |
input state -> output state.
Definition at line 92 of file copy.hh.
Referenced by vcsn::detail::copier< AutIn, AutOut >::operator()(), and vcsn::detail::copier< AutIn, AutOut >::origins().