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().