![]() |
Vcsn
2.0
Be Rational
|
#include <sstream>#include <vcsn/core/rat/ratexpset.hh>#include <vcsn/ctx/fwd.hh>#include <vcsn/dyn/automaton.hh>#include <vcsn/dyn/context.hh>#include <vcsn/dyn/ratexpset.hh>#include <vcsn/misc/raise.hh>Go to the source code of this file.
Namespaces | |
| vcsn | |
| vcsn::dyn | |
| FIXME: duplicate code with determinize. | |
| 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... | |
| vcsn::dyn::detail::REGISTER_DECLARE (make_context,(const std::string &name) -> context) | |
| template<typename Aut > | |
| context | vcsn::dyn::detail::context_of (const automaton &aut) |
| Bridge. More... | |
| vcsn::dyn::detail::REGISTER_DECLARE (context_of,(const automaton &aut) -> context) | |
| template<typename RatExpSet > | |
| context | vcsn::dyn::detail::context_of_ratexp (const ratexp &exp) |
| Bridge. More... | |
| vcsn::dyn::detail::REGISTER_DECLARE (context_of_ratexp,(const ratexp &exp) -> context) | |
| template<typename Ctx , typename Identities > | |
| ratexpset | vcsn::dyn::detail::make_ratexpset (const context &ctx,::vcsn::rat::identities ids) |
| vcsn::dyn::detail::REGISTER_DECLARE (make_ratexpset,(const context &ctx,::vcsn::rat::identities ids) -> ratexpset) | |
| template<typename Ctx > | |
| context | vcsn::dyn::detail::make_word_context (const context &ctx) |
| vcsn::dyn::detail::REGISTER_DECLARE (make_word_context,(const context &ctx) -> context) | |