![]() |
Vcsn
2.1
Be Rational
|
#include <set>#include <vcsn/algos/copy.hh>#include <vcsn/algos/transpose.hh>#include <vcsn/core/mutable-automaton.hh>#include <vcsn/core/rat/visitor.hh>#include <vcsn/ctx/fwd.hh>#include <vcsn/ctx/traits.hh>#include <vcsn/dyn/automaton.hh>#include <vcsn/dyn/expression.hh>#include <vcsn/misc/memory.hh>#include <vcsn/misc/raise.hh>#include <vcsn/misc/vector.hh>Go to the source code of this file.
Classes | |
| class | vcsn::rat::standard_visitor< Aut, ExpSet > |
| Build a standard automaton from an expression. More... | |
Namespaces | |
| vcsn | |
| vcsn::dyn | |
| vcsn::dyn::detail | |
| vcsn::rat | |
Functions | |
| template<typename Aut > | |
| bool | vcsn::is_standard (const Aut &a) |
| Whether a is standard. More... | |
| template<typename Aut > | |
| bool | vcsn::is_costandard (const Aut &a) |
| Whether a is costandard. More... | |
| template<typename Aut > | |
| bool | vcsn::dyn::detail::is_standard (const automaton &aut) |
| Bridge. More... | |
| template<typename Aut > | |
| bool | vcsn::dyn::detail::is_costandard (const automaton &aut) |
| Bridge. More... | |
| template<typename Aut > | |
| void | vcsn::standard_here (Aut &aut) |
| Turn aut into a standard automaton. More... | |
| template<typename Aut > | |
| auto | vcsn::standard (const Aut &aut) -> decltype(copy(aut)) |
| template<typename Aut > | |
| auto | vcsn::costandard (const Aut &aut) -> decltype(copy(aut)) |
| template<typename Aut > | |
| automaton | vcsn::dyn::detail::standard (const automaton &aut) |
| Bridge. More... | |
| template<typename Aut > | |
| automaton | vcsn::dyn::detail::costandard (const automaton &aut) |
| Bridge. More... | |
| template<typename Aut , typename ExpSet > | |
| Aut | vcsn::standard (const ExpSet &rs, const typename ExpSet::value_t &r) |
| Build a standard automaton from an expression. More... | |
| template<typename ExpSet > | |
| automaton | vcsn::dyn::detail::standard_expression (const expression &exp) |
| Bridge (standard). More... | |