![]() |
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... | |