Vaucanson: delta_kind.hh Source File

00001 // delta_kind.hh: this file is part of the Vaucanson project.
00002 //
00003 // Vaucanson, a generic library for finite state machines.
00004 //
00005 // Copyright (C) 2001, 2002, 2003, 2004, 2005, 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_AUTOMATA_CONCEPT_DELTA_KIND_HH
00018 # define VCSN_AUTOMATA_CONCEPT_DELTA_KIND_HH
00019 
00020 namespace vcsn {
00021 
00024 
00025   namespace delta_kind {
00026 
00028     struct kind_transitions_ {};
00029     struct kind_states_ {};
00030 
00031     template <typename T>
00032     struct kind;
00033 
00034     template <>
00035     struct kind<kind_transitions_> {};
00036 
00037     template <>
00038     struct kind<kind_states_> {};
00039 
00041     typedef kind<kind_transitions_> transitions;
00042     typedef kind<kind_states_> states;
00043   } // delta_kind
00044 
00045 } // vcsn
00046 
00047 #endif // ! VCSN_AUTOMATA_CONCEPT_DELTA_KIND_HH