Vcsn  2.2
Be Rational
fwd.hh File Reference
#include <memory>
#include <set>
#include <vcsn/core/automaton.hh>
#include <vcsn/core/rat/fwd.hh>
Include dependency graph for 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 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)
 
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...