automata.hh

00001 // automata.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, 2007 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_AUTOMATA_HH
00018 # define VCSN_AUTOMATA_CONCEPT_AUTOMATA_HH
00019 
00020 # include <vaucanson/automata/concept/automata_base.hh>
00021 # include <vaucanson/design_pattern/slots.hh>
00022 
00023 namespace vcsn
00024 {
00025 
00026   template <class Series>
00027   struct Automata;
00028 
00030   template <class Series>
00031   struct dynamic_traits<Automata<Series> >
00032     : dynamic_traits<AutomataBase<Automata<Series> > >
00033   {
00034       static const bool ret = dynamic_traits<Series>::ret;
00035   };
00036 
00038   template <class Series, typename T>
00039   struct MetaElement<Automata<Series>, T>
00040     : MetaElement<AutomataBase<Automata<Series> >, T>
00041   {};
00042 
00044   template <class Series>
00045   struct virtual_types<Automata<Series> >
00046     : virtual_types<AutomataBase<Automata<Series> > >
00047   {
00048       typedef Series series_set_t;
00049   };
00050 
00051 
00053   template <class Series>
00054   class Automata
00055     : public AutomataBase<Automata<Series> >,
00056       private SetSlot<Series>
00057   {
00058     public:
00059       typedef Automata<Series> self_t;
00060       typedef Series series_set_t;
00061 
00062       Automata(const series_set_t&);
00063 
00064       const series_set_t&       series() const;
00065   };
00066 
00067   template <class Series>
00068   bool
00069   operator==(const Automata<Series>&, const Automata<Series>&);
00070 
00071 } // vcsn
00072 
00073 
00074 # if !defined VCSN_USE_INTERFACE_ONLY || defined VCSN_USE_LIB
00075 #  include <vaucanson/automata/concept/automata.hxx>
00076 # endif // VCSN_USE_INTERFACE_ONLY
00077 
00078 
00079 #endif // ! VCSN_AUTOMATA_CONCEPT_AUTOMATA_HH

Generated on Sun Jul 29 19:35:17 2007 for Vaucanson by  doxygen 1.5.2