lift.hh File Reference

#include <map>
#include <vcsn/ctx/context.hh>
#include <vcsn/labelset/oneset.hh>
#include <vcsn/dyn/automaton.hh>
#include <vcsn/core/mutable-automaton.hh>
#include <vcsn/core/rat/ratexpset.hh>
#include <vcsn/core/rat/ratexp.hh>

Include dependency graph for lift.hh:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	vcsn::detail::context_of< ValueSet >
struct	vcsn::detail::context_of< vcsn::mutable_automaton< Context > >

Namespaces
	vcsn
	vcsn::detail
	vcsn::dyn
	FIXME: duplicate code with determinize.
	vcsn::dyn::detail

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

Functions
template<typename LabelSet , typename WeightSet >
lifted_context_t< context < LabelSet, WeightSet > >	vcsn::detail::lift_context (const context< LabelSet, WeightSet > &ctx)
template<typename Context >
lifted_ratexpset_t< ratexpset < Context > >	vcsn::detail::lift_ratexpset (const ratexpset< Context > &rs)
template<typename Aut >
detail::lifted_automaton_t< Aut >	vcsn::lift (const Aut &a)
template<typename Aut >
automaton	vcsn::dyn::detail::lift_automaton (const automaton &aut)
	vcsn::dyn::detail::REGISTER_DECLARE (lift_automaton,(const automaton &aut) -> automaton)
template<typename RatExpSet >
detail::lifted_ratexpset_t < RatExpSet >::value_t	vcsn::lift (const RatExpSet &rs, const typename RatExpSet::value_t &e)
template<typename RatExpSet >
ratexp	vcsn::dyn::detail::lift_ratexp (const ratexp &exp)
	Bridge. More...
	vcsn::dyn::detail::REGISTER_DECLARE (lift_ratexp,(const ratexp &aut) -> ratexp)