lift.hh File Reference

#include <map>
#include <boost/optional.hpp>
#include <vcsn/core/automaton.hh>
#include <vcsn/core/mutable-automaton.hh>
#include <vcsn/core/rat/expression.hh>
#include <vcsn/core/rat/expressionset.hh>
#include <vcsn/ctx/context.hh>
#include <vcsn/dyn/automaton.hh>
#include <vcsn/labelset/oneset.hh>
#include <vcsn/dyn/name.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::lifter_impl< Context, Tapes, Enable >
	Helper structure for a lift of several tapes. More...
struct	vcsn::detail::lifter_impl< Context, vcsn::detail::index_sequence<> >
	Lift all the label tapes to the weights. More...
struct	vcsn::detail::enable_if_t<(0< sizeof...(Tapes))> >
	Specialization: lift only some tapes. More...
struct	vcsn::detail::tape_set< S, L >
	Set of tapes. More...
struct	vcsn::detail::tape_set< seq<>, LabelSet >
struct	vcsn::detail::tape_set< seq< I... >, LabelSet >

Namespaces
	vcsn
	vcsn::detail
	vcsn::dyn
	vcsn::dyn::detail

Typedefs
template<typename Ctx , size_t... Tapes>
using	vcsn::detail::lifter_t = lifter_impl< Ctx, detail::index_sequence< Tapes... > >
	A traits to lift the Tapes of the labels to the weights. More...
template<Automaton Aut, size_t... Tapes>
using	vcsn::detail::lifted_automaton_t = mutable_automaton< typename lifter_t< context_t_of< Aut >, Tapes... >::context_t >
template<typename ExpSet >
using	vcsn::detail::lifted_expressionset_t = expressionset< typename lifter_t< context_t_of< ExpSet > >::context_t >

Functions
template<typename LabelSet , typename WeightSet , size_t... Tapes>
lifter_t< context< LabelSet, WeightSet >, Tapes... >::context_t	vcsn::detail::lift_context (const context< LabelSet, WeightSet > &ctx)
	lift(ctx) -> ctx More...
template<Automaton Aut, size_t... Tapes>
detail::lifted_automaton_t< Aut, Tapes... >	vcsn::lift (const Aut &a, vcsn::rat::identities ids={})
	Lift some tapes of the transducer. More...
template<Automaton Aut, typename Ids , typename... Tapes>
automaton	vcsn::dyn::detail::lift_automaton (const automaton &aut, identities ids, integral_constant)
	Bridge. More...
template<typename Context >
lifted_expressionset_t< expressionset< Context > >	vcsn::detail::lift_expressionset (const expressionset< Context > &rs, boost::optional< vcsn::rat::identities > ids={})
	lift(expressionset) -> expressionset More...
template<typename ExpSet >
detail::lifted_expressionset_t< ExpSet >::value_t	vcsn::lift (const ExpSet &rs, const typename ExpSet::value_t &e)
	Move all the labels to the weights. More...
template<typename ExpSet >
expression	vcsn::dyn::detail::lift_expression (const expression &exp)
	Bridge (lift). More...