![]() |
Vcsn
2.3a
Be Rational
|
#include <memory>
#include <set>
#include <vcsn/concepts/automaton.hh>
#include <vcsn/core/rat/fwd.hh>
Go to the source code of this file.
Classes | |
class | vcsn::detail::delay_automaton_impl< Aut > |
An automaton whose states may be qualified by delays and/or prefixes. More... | |
class | vcsn::detail::focus_automaton_impl< Tape, Aut > |
Read-write on an automaton, that hides all tapes but one. More... | |
class | vcsn::detail::minimizer< Aut, Tag > |
class | vcsn::detail::synchronized_automaton_impl< Aut > |
An automaton whose states may be qualified by delays and/or prefixes. More... | |
class | vcsn::detail::transpose_automaton_impl< Aut > |
Read-write view on an automaton, that transposes everything. More... | |
Namespaces | |
vcsn | |
vcsn::detail | |
vcsn::detail_info | |
Typedefs | |
template<Automaton Aut> | |
using | vcsn::delay_automaton = std::shared_ptr< detail::delay_automaton_impl< Aut >> |
An automaton wrapper that presents the delay automaton. More... | |
template<std::size_t Tape, Automaton Aut> | |
using | vcsn::focus_automaton = std::shared_ptr< detail::focus_automaton_impl< Tape, Aut >> |
A focus automaton as a shared pointer. More... | |
template<Automaton Aut> | |
using | vcsn::synchronized_automaton = std::shared_ptr< detail::synchronized_automaton_impl< Aut >> |
An automaton wrapper that presents the synchronized automaton. More... | |
template<Automaton Aut> | |
using | vcsn::transpose_automaton = std::shared_ptr< detail::transpose_automaton_impl< Aut >> |
An automaton wrapper that presents the transposed automaton. More... | |
using | vcsn::letter_class_t = std::set< std::pair< std::string, std::string >> |
A set of letter ranges. More... | |
Functions | |
template<unsigned Tape, Automaton Aut> | |
focus_automaton< Tape, Aut > | vcsn::focus (Aut aut) |
template<Automaton Aut> | |
bool | vcsn::in_situ_remover (Aut &aut, bool prune=true) |
template<Automaton Aut> | |
size_t | vcsn::detail_info::num_eps_transitions (const Aut &) |
template<Automaton Aut> | |
bool | vcsn::is_ambiguous (const Aut &aut) |
Whether an automaton is ambiguous. More... | |
template<Automaton Aut> | |
bool | vcsn::is_proper (const Aut &aut) ATTRIBUTE_CONST |
Test whether an automaton is proper. More... | |
template<Automaton Aut> | |
bool | vcsn::is_valid (const Aut &aut) |
template<typename ExpSet > | |
bool | vcsn::is_valid (const ExpSet &rs, const typename ExpSet::value_t &e) |
Whether e has only computable stars. More... | |
template<typename ExpSet > | |
rat::expansionset< ExpSet >::value_t | vcsn::to_expansion (const ExpSet &rs, const typename ExpSet::value_t &e) |
First order expansion. More... | |