kinds.hh

// kinds.hh: this file is part of the Vaucanson project.
//
// Vaucanson, a generic library for finite state machines.
//
// Copyright (C) 2001, 2002, 2003, 2004 The Vaucanson Group.
//
// This program is free software; you can redistribute it and/or
// modify it under the terms of the GNU General Public License
// as published by the Free Software Foundation; either version 2
// of the License, or (at your option) any later version.
//
// The complete GNU General Public Licence Notice can be found as the
// `COPYING' file in the root directory.
//
// The Vaucanson Group consists of people listed in the `AUTHORS' file.
//
#ifndef VCSN_AUTOMATA_CONCEPT_KINDS_HH
# define VCSN_AUTOMATA_CONCEPT_KINDS_HH

# include <vaucanson/config/system.hh>
# include <iterator>
# include <vaucanson/misc/contract.hh>
# include <algorithm>

# include <vaucanson/algebra/concept/series_base.hh>
# include <vaucanson/design_pattern/design_pattern.hh>
# include <vaucanson/automata/concept/handlers.hh>

namespace vcsn {

  template <
    typename Kind,
    typename Self,
    typename Series,
    typename SeriesT,
    typename LabelT
    >
  class AutoKind {};

  namespace delta_kind {

    struct transitions
    {};

    struct states
    {};

  } // delta_kind


  struct labels_are_series
  {};

  template <
    typename Series,
    typename MonoidElt,
    typename SemiringElt,
    typename L
    >
  struct ls_delta_letter_query
  {
      ls_delta_letter_query(const Series& s, const L& l);

      template<typename Label>
      bool operator()(const Label& label) const;

    protected:
      SetSlot<Series>                   s_;
      typename MonoidElt::value_t               l_;
  };

  /*--------------------------------.
  | AutoKind<labels_are_series ...> |
  `--------------------------------*/

  template <
    typename Self,
    typename Series,
    typename SeriesT,
    typename LabelT
    >
  class AutoKind<labels_are_series, Self, Series, SeriesT, LabelT>
  {
    protected:
      typedef Element<Series, SeriesT>                  series_set_elt_t;
      typedef typename Series::monoid_t                 monoid_t;
      typedef typename series_set_elt_t::monoid_elt_t           monoid_elt_t;
      typedef typename Series::semiring_t                       semiring_t;
      typedef typename series_set_elt_t::semiring_elt_t         semiring_elt_t;

    public:

      series_set_elt_t series_of(htransition_t e) const;

      const SeriesT& series_value_of(htransition_t e) const;

      bool is_spontaneous(htransition_t e) const;

      template<typename L>
      L letter_of(SELECTOR(L), htransition_t e) const;

      monoid_elt_t word_of(htransition_t e) const;

      const typename monoid_elt_t::value_t& word_value_of(htransition_t e) const;

      template<typename S>
      htransition_t add_series_transition(hstate_t from, hstate_t to,
                                          const S& e);

      htransition_t add_spontaneous(hstate_t from, hstate_t to);

      template<typename L>
      htransition_t add_letter_transition(hstate_t from, hstate_t to,
                                          const L& l);

      template <typename OutputIterator, typename L>
      void letter_delta(OutputIterator  res,
                        hstate_t                from,
                        const L&                l,
                        delta_kind::transitions k = delta_kind::transitions()) const;

      template <typename Container, typename L>
      void letter_deltac(Container&      dst,
                         hstate_t                from,
                         const L&                l,
                         delta_kind::transitions k = delta_kind::transitions()) const;

      template <typename OutputIterator, typename L>
      void letter_rdelta(OutputIterator res,
                         hstate_t               from,
                         const L&               l,
                         delta_kind::transitions k = delta_kind::transitions()) const;

      template <typename Container, typename L>
      void letter_rdeltac(Container&     dst,
                          hstate_t               from,
                          const L&               l,
                          delta_kind::transitions k = delta_kind::transitions()) const;

      template <typename OutputIterator, typename L>
      void letter_delta(OutputIterator   res,
                        hstate_t                 from,
                        const L&                 l,
                        delta_kind::states k) const;

      template <typename Container, typename L>
      void letter_deltac(Container&       dst,
                         hstate_t                 from,
                         const L&                 l,
                         delta_kind::states k) const;

      template <typename OutputIterator, typename L>
      void letter_rdelta(OutputIterator   res,
                         hstate_t                 from,
                         const L&                 l,
                         delta_kind::states k) const;

      template <typename Container, typename L>
      void letter_rdeltac(Container&       dst,
                          hstate_t         from,
                          const L&         l,
                          delta_kind::states k) const;

    protected:
      Self&       auto_self();
      const Self& auto_self() const;
  };


  struct labels_are_couples
  {};

  template<typename Monoid, typename L>
  struct lc_delta_letter_query
  {
      lc_delta_letter_query(const Monoid& m, const L& l);

      template<typename Label>
      bool operator()(const Label& label) const;

    protected:
      SetSlot<Monoid>           m_;
      L                         l_;
  };

  template<typename Self, typename Series, typename SeriesT, typename LabelT>
  class AutoKind<labels_are_couples, Self, Series, SeriesT, LabelT>
  {
    protected:
      typedef Element<Series, SeriesT>                  series_set_elt_t;
      typedef typename Series::monoid_t                 monoid_t;
      typedef typename series_set_elt_t::monoid_elt_t           monoid_elt_t;
      typedef typename Series::semiring_t                       semiring_t;
      typedef typename series_set_elt_t::semiring_elt_t         semiring_elt_t;

    public:

      series_set_elt_t  series_of(htransition_t e) const;

      const SeriesT series_value_of(htransition_t e) const;

      bool is_spontaneous(htransition_t e) const;

      template<typename L>
      L letter_of(SELECTOR(L), htransition_t e) const;

      monoid_elt_t word_of(htransition_t e) const;

      const typename monoid_elt_t::value_t& word_value_of(htransition_t e) const;

      template<typename S>
      htransition_t add_series_transition(hstate_t from, hstate_t to,
                                          const S& e);

      htransition_t add_spontaneous(hstate_t from, hstate_t to);

      template<typename L>
      htransition_t add_letter_transition(hstate_t from, hstate_t to,
                                          const L& l);

      template <typename OutputIterator, typename L>
      void letter_delta(OutputIterator  res,
                        hstate_t                from,
                        const L&                l,
                        delta_kind::transitions k = delta_kind::transitions()) const;

      template <typename Container, typename L>
      void letter_deltac(Container&      dst,
                         hstate_t                from,
                         const L&                l,
                         delta_kind::transitions k = delta_kind::transitions()) const;

      template <typename OutputIterator, typename L>
      void letter_rdelta(OutputIterator res,
                         hstate_t               from,
                         const L&               l,
                         delta_kind::transitions k = delta_kind::transitions()) const;

      template <typename Container, typename L>
      void letter_rdeltac(Container&     dst,
                          hstate_t               from,
                          const L&               l,
                          delta_kind::transitions k = delta_kind::transitions()) const;

      template <typename OutputIterator, typename L>
      void letter_delta(OutputIterator   res,
                        hstate_t                 from,
                        const L&                 l,
                        delta_kind::states k) const;

      template <typename Container, typename L>
      void letter_deltac(Container&       dst,
                         hstate_t                 from,
                         const L&                 l,
                         delta_kind::states k) const;

      template <typename OutputIterator, typename L>
      void letter_rdelta(OutputIterator   res,
                         hstate_t                 from,
                         const L&                 l,
                         delta_kind::states k) const;

      template <typename Container, typename L>
      void letter_rdeltac(Container&       dst,
                          hstate_t         from,
                          const L&         l,
                          delta_kind::states k) const;

    protected:
      Self&       auto_self();
      const Self& auto_self() const;
  };

}


#ifndef VCSN_USE_INTERFACE_ONLY
# include <vaucanson/automata/concept/kinds.hxx>
#endif // VCSN_USE_INTERFACE_ONLY


#endif // ! VCSN_AUTOMATA_CONCEPT_KINDS_HH

---