lift.hh File Reference

#include <map>
#include <list>
#include <awali/sttc/ctx/context.hh>
#include <awali/sttc/labelset/oneset.hh>
#include <awali/sttc/labelset/traits.hh>
#include <awali/sttc/core/mutable_automaton.hh>
#include <awali/sttc/core/rat/ratexpset.hh>
#include <awali/sttc/core/rat/ratexp.hh>

Go to the source code of this file.

Data Structures
struct	awali::sttc::internal::context_of< ValueSet >
struct	awali::sttc::internal::context_of< sttc::mutable_automaton< Context > >

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

Typedefs
template<typename ValueSet >
using	awali::sttc::internal::context_of_t = typename context_of< ValueSet >::type
template<typename Aut >
using	awali::sttc::internal::lifted_automaton_t = mutable_automaton< lifted_context_t< context_t_of< Aut > >>
template<typename Context >
using	awali::sttc::internal::lifted_context_t = context< oneset, ratexpset_of< Context > >
template<typename Exp >
using	awali::sttc::internal::lifted_ratexp_t = typename lifted_context_t< context_t_of< Exp > >::ratexp_t
template<typename RatExpSet >
using	awali::sttc::internal::lifted_ratexpset_t = ratexpset< lifted_context_t< context_t_of< RatExpSet > >>

Functions
template<typename Aut >
internal::lifted_automaton_t< Aut >	awali::sttc::lift (const Aut &a, bool keep_history=true)
	Lift labels to weights. More...
template<typename RatExpSet >
internal::lifted_ratexpset_t< RatExpSet >::ratexp_t	awali::sttc::lift (const RatExpSet &rs, const typename RatExpSet::ratexp_t &e)
template<typename LabelSet , typename WeightSet >
lifted_context_t< context< LabelSet, WeightSet > >	awali::sttc::internal::lift_context (const context< LabelSet, WeightSet > &ctx)
template<typename Context >
lifted_ratexpset_t< ratexpset< Context > >	awali::sttc::internal::lift_ratexpset (const ratexpset< Context > &rs)
template<typename Aut >
internal::lifted_automaton_t< Aut >	awali::sttc::internal::unnormalized_lift (const Aut &a, bool keep_history=true)

---

Data Structure Documentation

awali::sttc::internal::context_of

struct awali::sttc::internal::context_of

template<typename ValueSet>
struct awali::sttc::internal::context_of< ValueSet >

Data Fields
typedef typename context_t	type

awali::sttc::internal::context_of< sttc::mutable_automaton< Context > >

struct awali::sttc::internal::context_of< sttc::mutable_automaton< Context > >

template<typename Context>
struct awali::sttc::internal::context_of< sttc::mutable_automaton< Context > >

Data Fields
typedef Context	type