fmp_to_rw.hxx

// fmp_to_rw.hxx: this file is part of the Vaucanson project.
//
// Vaucanson, a generic library for finite state machines.
//
// Copyright (C) 2005, 2006, 2008 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_ALGORITHMS_FMP_TO_RW_HXX
# define VCSN_ALGORITHMS_FMP_TO_RW_HXX

# include <vaucanson/automata/concept/automata.hh>
# include <vaucanson/automata/concept/transducer.hh>
# include <vaucanson/algebra/concept/freemonoid_product.hh>

# include <map>

namespace vcsn
{

  template<typename S, typename T,
           typename SS, typename TT,
           typename Self>
  void
  do_fmp_to_rw(const vcsn::AutomataBase<S>&,
               const vcsn::TransducerBase<SS>&,
               const vcsn::algebra::FreeMonoidProductBase<Self>&,
               const vcsn::Element<S, T>& fmp,
               vcsn::Element<SS, TT>& res)
  {
    typedef typename T::hstate_t hstate_t;
    // Map source automaton's states with result's states
    std::map<hstate_t, hstate_t> m;

    // Input FMP type
    typedef vcsn::Element<S, T> FMP_t;

    // Output transducer type
    typedef vcsn::Element<SS, TT> Trans_t;

    /*-------------------------.
    | Creating the transducer. |
    `-------------------------*/

    // Adding states
    for (typename FMP_t::state_iterator St = fmp.states().begin();
         St != fmp.states().end();
         ++St)
      m[*St] = res.add_state();


    /*-------------------------.
    | Setting initial states.  |
    `-------------------------*/

    for (typename FMP_t::initial_iterator St, next = fmp.initial().begin();
         next != fmp.initial().end();)
    {
      //We need to store the next iterator before using the current one
      //to avoid an invalid iterator after having called set_final.
      //Indeed, set_final can delete the iterator if its second parameter
      //is the zero of the serie.
      St = next;
      next++;
      //Series to be created
      typename Trans_t::series_set_elt_t s(res.structure().series());

      typename FMP_t::series_set_elt_t s_elt = fmp.get_initial(*St);
      for_all_const_(FMP_t::series_set_elt_t::support_t, i, s_elt.supp())
      {
        typename Trans_t::semiring_elt_value_t::monoid_elt_value_t
          output_monoid_value;
        typename Trans_t::semiring_elt_t::semiring_elt_t weight;

        typename Trans_t::monoid_elt_value_t
          input_monoid_value = (*i).first;
        typename Trans_t::monoid_elt_t
          input_monoid(res.structure().series().monoid(),
                       input_monoid_value);

        typename Trans_t::semiring_elt_t::monoid_elt_t
          output_monoid(res.structure().series().semiring().monoid(),
                        (*i).second);
        weight = s_elt.get(*i);

        //Creating the element multiplicity
        typename Trans_t::semiring_elt_t
          out_mult(res.structure().series().semiring());
        out_mult.assoc(output_monoid, weight);

        //Associating it to the input monoid
        s.assoc(input_monoid, out_mult);
      }
      res.set_initial(m[*St], s);
    }


    /*------------------------.
    | Setting final states.   |
    `------------------------*/

    for (typename FMP_t::final_iterator St, next = fmp.final().begin();
         next != fmp.final().end();)
    {
      //We need to store the next iterator before using the current one
      //to avoid an invalid iterator after having called set_final.
      //Indeed, set_final can delete the iterator if its second parameter
      //is the zero of the serie.
      St = next;
      next++;
      //Series to be created
      typename Trans_t::series_set_elt_t s(res.structure().series());

      typename FMP_t::series_set_elt_t s_elt = fmp.get_final(*St);
      for_all_const_(FMP_t::series_set_elt_t::support_t, i, s_elt.supp())
      {
        typename Trans_t::semiring_elt_value_t::monoid_elt_value_t
          output_monoid_value;
        typename Trans_t::semiring_elt_t::semiring_elt_t weight;

        typename Trans_t::monoid_elt_value_t input_monoid_value =
          (*i).first;
        typename Trans_t::monoid_elt_t
          input_monoid(res.structure().series().monoid(),
                       input_monoid_value);
        typename Trans_t::semiring_elt_t::monoid_elt_t
          output_monoid(res.structure().series().semiring().monoid(),
                        (*i).second);
        weight = s_elt.get(*i);

        //Creating the element multiplicity
        typename Trans_t::semiring_elt_t
          out_mult(res.structure().series().semiring());
        out_mult.assoc(output_monoid, weight);

        //Associating it to the input monoid
        s.assoc(input_monoid, out_mult);
      }
      res.set_final(m[*St], s);
    }


    /*-----------------------.
    | Creating transitions.  |
    `-----------------------*/

    for (typename FMP_t::transition_iterator Ed = fmp.transitions().begin();
         Ed != fmp.transitions().end();
         ++Ed)
    {
      // FIXME
      // No Special Treatment is done for 0 weighted
      typename Trans_t::series_set_elt_t
        transition_value(res.structure().series());

      typename Trans_t::monoid_elt_value_t input_monoid_value;
      typename Trans_t::semiring_elt_value_t::monoid_elt_value_t
        output_monoid_value;

      typename FMP_t::series_set_elt_t series_fmp(fmp.structure().series());
      typename Trans_t::semiring_elt_t
        out_mult(res.structure().series().semiring());
      series_fmp = fmp.series_of(*Ed);

      for_all_const_(FMP_t::series_set_elt_t::support_t,
                     i,
                     series_fmp.supp())
      {
        input_monoid_value = (*i).first;
        output_monoid_value = (*i).second;

        //Creating the transition's semiring value
        typename Trans_t::semiring_elt_t::semiring_elt_t
          transition_weight(res.structure().series().semiring().semiring(),
                            series_fmp.get(*i));
        typename Trans_t::semiring_elt_t
          out_mult(res.structure().series().semiring());
        out_mult.assoc(typename Trans_t::semiring_elt_t::monoid_elt_t
                       (res.structure().series().semiring().monoid(),
                        output_monoid_value),
                       transition_weight);

        //Creating the transition's monoid value
        typename Trans_t::monoid_elt_t
          input(res.structure().series().monoid(),
                input_monoid_value);
        transition_value.assoc(input, out_mult);
        res.add_series_transition(m[fmp.src_of(*Ed)],
                                  m[fmp.dst_of(*Ed)],
                                  transition_value);
      }
    }
  }

  template<typename S, typename T,
           typename SS, typename TT>
  vcsn::Element<SS, TT>&
  fmp_to_rw(const vcsn::Element<S, T>& fmp,
            vcsn::Element<SS, TT>& res)
  {
    BENCH_TASK_SCOPED("fmp_to_rw");
    do_fmp_to_rw(fmp.structure(), res.structure(),
                 fmp.structure().series().monoid(),
                 fmp, res);
    return res;
  }
}
#endif // ! VCSN_ALGORITHMS_FMP_TO_RW_HXX