![]() |
Vcsn
2.0
Be Rational
|
#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>
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) | |