copy.hh File Reference

#include <unordered_map>
#include <awali/sttc/core/mutable_automaton.hh>
#include <awali/sttc/core/rat/copy.hh>
#include <awali/sttc/misc/attributes.hh>
#include <awali/sttc/misc/set.hh>
#include <awali/sttc/history/single_history.hh>

Go to the source code of this file.

Data Structures
struct	awali::sttc::internal::copier< AutIn, AutOut, InOutMap >
	Copy an automaton. More...

Namespaces
	awali
	Main namespace of Awali.
	awali::sttc
	Namespace for the static layer of Awali.
	awali::sttc::internal
	Implementation details of static layer (not stable).

Functions
template<typename AutIn , typename AutOut = typename AutIn::element_type::automaton_nocv_t>
AutOut	awali::sttc::copy (const AutIn &input, bool keep_history=true, bool transpose=false)
	A copy of input. More...
template<typename AutIn , typename AutOut = typename AutIn::element_type::automaton_nocv_t>
AutOut	awali::sttc::copy (const AutIn &input, const std::set< state_t > &keep, bool keep_history=true, bool transpose=false)
	A copy of input keeping only its states that are members of keep. More...
template<typename AutIn , typename AutOut = typename AutIn::element_type::automaton_nocv_t, typename Pred >
AutOut	awali::sttc::copy (const AutIn &input, Pred keep_state, bool keep_history=true, bool transpose=false)
	A copy of input keeping only its states that are accepted by keep_state. More...
template<typename AutIn , typename AutOut >
void	awali::sttc::copy_into (const AutIn &in, AutOut &out, bool keep_history=true, bool transpose=false)
template<typename AutIn , typename AutOut , typename Pred >
void	awali::sttc::copy_into (const AutIn &in, AutOut &out, Pred keep_state, bool keep_history=true, bool transpose=false)
	Copy an automaton. More...
template<typename AutIn , typename AutOut >
void	awali::sttc::copy_support (const AutIn &in, AutOut &out, bool keep_history=true)
template<typename AutIn , typename AutOut , typename Pred >
void	awali::sttc::copy_support (const AutIn &in, AutOut &out, Pred keep_state, bool keep_history=true)