![]() |
Vcsn
2.1
Be Rational
|
#include <sstream>#include <vcsn/core/rat/expressionset.hh>#include <vcsn/ctx/fwd.hh>#include <vcsn/dyn/automaton.hh>#include <vcsn/dyn/context.hh>#include <vcsn/misc/raise.hh>Go to the source code of this file.
Namespaces | |
| vcsn | |
| vcsn::dyn | |
| vcsn::dyn::detail | |
Functions | |
| template<typename Ctx > | |
| Ctx | vcsn::make_context (const std::string &name) |
| template<typename Ctx > | |
| context | vcsn::dyn::detail::make_context (const std::string &name) |
| Bridge. More... | |
| template<typename Aut > | |
| context | vcsn::dyn::detail::context_of (const automaton &aut) |
| Bridge. More... | |
| template<typename ExpSet > | |
| context | vcsn::dyn::detail::context_of_expression (const expression &exp) |
| Bridge (context_of). More... | |
| template<typename Ctx1 , typename Ctx2 > | |
| context | vcsn::dyn::detail::join (const context &c1, const context &c2) |
| Bridge. More... | |
| template<typename Ctx > | |
| context | vcsn::dyn::detail::make_word_context (const context &ctx) |
| Bridge. More... | |
| template<typename Ctx > | |
| constexpr auto | vcsn::num_tapes (const Ctx &) -> enable_if_t< Ctx::is_lat, size_t > |
| template<typename Ctx > | |
| size_t | vcsn::dyn::detail::num_tapes (const context &ctx) |
| Bridge. More... | |