awali::sttc::internal::copier< AutIn, AutOut, InOutMap > Struct Template Reference

Copy an automaton. More...

#include <copy.hh>

Public Types
using	origins_t = std::map< state_t, state_t >
	A map from result state to original state. More...

Public Member Functions
	copier (const AutIn &in, AutOut &out)
const InOutMap &	in_out_map () const
template<typename Pred >
void	no_weight (Pred keep_state)
template<typename Pred >
void	operator() (Pred keep_state, bool transpose=false)
origins_t	origins () const
void	set_history ()

Static Public Member Functions
static std::ostream &	print (const origins_t &orig, std::ostream &o)
	Print the origins. More...

Data Fields
const AutIn &	in_
	Input automaton. More...
AutOut &	out_
	Output automaton. More...
InOutMap	out_state
	input state -> output state. More...

Detailed Description

template<typename AutIn, typename AutOut, typename InOutMap = std::unordered_map<state_t, state_t>>
struct awali::sttc::internal::copier< AutIn, AutOut, InOutMap >

Copy an automaton.

Precondition

AutIn <: AutOut.

Member Typedef Documentation

origins_t

template<typename AutIn , typename AutOut , typename InOutMap = std::unordered_map<state_t, state_t>>

using awali::sttc::internal::copier< AutIn, AutOut, InOutMap >::origins_t = std::map<state_t, state_t>

A map from result state to original state.

Constructor & Destructor Documentation

copier()

template<typename AutIn , typename AutOut , typename InOutMap = std::unordered_map<state_t, state_t>>

awali::sttc::internal::copier< AutIn, AutOut, InOutMap >::copier	(	const AutIn &	in,
		AutOut &	out
	)

Member Function Documentation

in_out_map()

template<typename AutIn , typename AutOut , typename InOutMap = std::unordered_map<state_t, state_t>>

const InOutMap& awali::sttc::internal::copier< AutIn, AutOut, InOutMap >::in_out_map

(

)

const

no_weight()

template<typename AutIn , typename AutOut , typename InOutMap = std::unordered_map<state_t, state_t>>

template<typename Pred >

void awali::sttc::internal::copier< AutIn, AutOut, InOutMap >::no_weight

(

Pred

keep_state

)

operator()()

template<typename AutIn , typename AutOut , typename InOutMap = std::unordered_map<state_t, state_t>>

template<typename Pred >

void awali::sttc::internal::copier< AutIn, AutOut, InOutMap >::operator()	(	Pred	keep_state,
		bool	transpose = false
	)

origins()

template<typename AutIn , typename AutOut , typename InOutMap = std::unordered_map<state_t, state_t>>

origins_t awali::sttc::internal::copier< AutIn, AutOut, InOutMap >::origins

(

)

const

print()

template<typename AutIn , typename AutOut , typename InOutMap = std::unordered_map<state_t, state_t>>

static std::ostream& awali::sttc::internal::copier< AutIn, AutOut, InOutMap >::print ( const origins_t &  orig, std::ostream &  o  )

static

Print the origins.

set_history()

template<typename AutIn , typename AutOut , typename InOutMap = std::unordered_map<state_t, state_t>>

void awali::sttc::internal::copier< AutIn, AutOut, InOutMap >::set_history

(

)

Field Documentation

in_

template<typename AutIn , typename AutOut , typename InOutMap = std::unordered_map<state_t, state_t>>

const AutIn& awali::sttc::internal::copier< AutIn, AutOut, InOutMap >::in_

Input automaton.

out_

template<typename AutIn , typename AutOut , typename InOutMap = std::unordered_map<state_t, state_t>>

AutOut& awali::sttc::internal::copier< AutIn, AutOut, InOutMap >::out_

Output automaton.

out_state

template<typename AutIn , typename AutOut , typename InOutMap = std::unordered_map<state_t, state_t>>

InOutMap awali::sttc::internal::copier< AutIn, AutOut, InOutMap >::out_state

input state -> output state.

---

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

• /home/marsault/git-client/telecom/awali.git/awali/sttc/algos/copy.hh