- Main Page
- Related Pages
- Modules
- Namespaces
- Classes
- Files

- File List
- File Members

# transducer.thh

    00001 //                                                             -*- C++ -*-
    00002 // transducer.thh: this file is part of the Vaucanson project.
    00003 //
    00004 // Vaucanson, a generic library for finite state machines.
    00005 //
    00006 // Copyright (C) 2005, 2006, 2008, 2010 The Vaucanson Group.
    00007 //
    00008 // This program is free software; you can redistribute it and/or
    00009 // modify it under the terms of the GNU General Public License
    00010 // as published by the Free Software Foundation; either version 2
    00011 // of the License, or (at your option) any later version.
    00012 //
    00013 // The complete GNU General Public Licence Notice can be found as the
    00014 // `COPYING' file in the root directory.
    00015 //
    00016 // The Vaucanson Group consists of people listed in the `AUTHORS' file.
    00017 //
    00018
    00019 /*
    00020  * CPP guard should not be inserted here as
    00021  * VCSN_CONTEXT_NAMESPACE could be changed.
    00022  */
    00023
    00024 #include <vaucanson/automata/concept/transducer.hh>
    00025
    00026 namespace vcsn
    00027 {
    00028   namespace VCSN_GRAPH_IMPL
    00029   {
    00030     VCSN_CONTEXT_NAMESPACE
    00031     {
    00032
    00033       typedef vcsn::Transducer<series_set_elt_t::set_t, labels_are_series> automata_set_t;
    00034       typedef Element<automata_set_t, automaton_impl_t>        automaton_t;
    00035       typedef vcsn::generalized_traits<automaton_t>::automaton_t gen_automaton_t;
    00036       typedef input_projection_helper<automata_set_t, automaton_impl_t>::ret
    00037       input_projection_automaton_t;
    00038       typedef output_projection_helper<automata_set_t, automaton_impl_t>::ret
    00039       output_projection_automaton_t;
    00040
    00041       AUTOMATON_TYPES_EXACT(automaton_t);
    00042
    00043     } // End of VCSN_CONTEXT_NAMESPACE.
    00044   } // End of VCSN_GRAPH_IMPL
    00045 } // End of namespace vcsn.