domain.hh

Go to the documentation of this file.
00001 // domain.hh: this file is part of the Vaucanson project.
00002 //
00003 // Vaucanson, a generic library for finite state machines.
00004 //
00005 // Copyright (C) 2006 The Vaucanson Group.
00006 //
00007 // This program is free software; you can redistribute it and/or
00008 // modify it under the terms of the GNU General Public License
00009 // as published by the Free Software Foundation; either version 2
00010 // of the License, or (at your option) any later version.
00011 //
00012 // The complete GNU General Public Licence Notice can be found as the
00013 // `COPYING' file in the root directory.
00014 //
00015 // The Vaucanson Group consists of people listed in the `AUTHORS' file.
00016 //
00017 #ifndef VCSN_ALGORITHMS_DOMAIN_HH
00018 # define VCSN_ALGORITHMS_DOMAIN_HH
00019 
00030 # include <vaucanson/automata/concept/automata.hh>
00031 # include <vaucanson/algebra/implementation/free_monoid/words.hh>
00032 # include <vaucanson/algebra/concept/freemonoid_product.hh>
00033 # include <vaucanson/algebra/implementation/series/series.hh>
00034 
00035 
00036 #include <vaucanson/automata/concept/transducer.hh>
00037 
00038 
00039 namespace vcsn
00040 {
00041   /*-------.
00042   | Domain |
00043   `-------*/
00044 
00045 
00046   template <typename S, typename S2, typename T, typename T2>
00047   void
00048   domain(const Element<S,T>& src, Element<S2, T2>& dst);
00049 
00050   // FMP version of domain.
00051   template <typename src_t, typename dst_t>
00052   void
00053   do_fmp_domain(const src_t& src, dst_t& dst);
00054 
00055   // RW version of domain.
00056   template <typename src_t, typename dst_t>
00057   void
00058   do_rw_domain(const src_t& src, dst_t& dst);
00059 
00060 } // End of namespace vcsn.
00061 
00062 
00063 # if !defined VCSN_USE_INTERFACE_ONLY && !defined VCSN_USE_LIB
00064 #  include <vaucanson/algorithms/domain.hxx>
00065 # endif // VCSN_USE_INTERFACE_ONLY
00066 
00067 
00068 #endif // ! VCSN_ALGORITHMS_DOMAIN_HH

Generated on Wed Jun 13 17:00:21 2007 for Vaucanson by  doxygen 1.5.1