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

- File List
- File Members

# int_int_z_automaton_structures.hh

    00001 // int_int_z_automaton_structures.hh: this file is part of the
    00002 // Vaucanson project.
    00003 //
    00004 // Vaucanson, a generic library for finite state machines.
    00005 //
    00006 // Copyright (C) 2009 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_GRAPH_IMPL could be changed.
    00022  */
    00023
    00024 # define VCSN_CONTEXT_NAMESPACE namespace int_int_z_automaton
    00025
    00026 # include <vaucanson/contexts/int_int_letter.thh>
    00027 # include <vaucanson/contexts/dynamic_alphabet.thh>
    00028 # include <vaucanson/contexts/free_monoid.thh>
    00029 # include <vaucanson/contexts/z_semiring.thh>
    00030 # include <vaucanson/contexts/generic_series.thh>
    00031 # include <vaucanson/contexts/generic_automaton_impl.thh>
    00032 # include <vaucanson/contexts/automaton.thh>
    00033
    00034 /* Specializations */
    00035 # include <vaucanson/algebra/implementation/monoid/free_monoid_int.hh>
    00036
    00037 namespace vcsn
    00038 {
    00039   namespace VCSN_GRAPH_IMPL
    00040   {
    00041     VCSN_CONTEXT_NAMESPACE
    00042     {
    00043       AUTOMATON_FREEMONOID_TYPES_EXACT(automaton_t);
    00044       AUTOMATON_PROJECTION_TYPES();
    00045     }
    00046   }
    00047 }
    00048
    00049 # include <vaucanson/contexts/automaton_maker.thh>
    00050
    00051 # undef VCSN_CONTEXT_NAMESPACE