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 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   template <class Series>
00026   struct Automata;
00027 
00029   template <class Series>
00030   struct dynamic_traits<Automata<Series> >
00031     : dynamic_traits<AutomataBase<Automata<Series> > >
00032   {
00033     static const bool ret = dynamic_traits<Series>::ret;
00034   };
00035 
00037   template <class Series, typename T>
00038   struct MetaElement<Automata<Series>, T>
00039     : MetaElement<AutomataBase<Automata<Series> >, T>
00040   {};
00041 
00043   template <class Series>
00044   struct virtual_types<Automata<Series> >
00045     : virtual_types<AutomataBase<Automata<Series> > >
00046   {
00047     typedef Series series_set_t;
00048   };
00049 
00050 
00052   template <class Series>
00053   class Automata
00054     : public AutomataBase<Automata<Series> >,
00055       private SetSlot<Series>
00056   {
00057   public:
00058     typedef Automata<Series> self_t;
00059     typedef Series series_set_t;
00060 
00061     Automata(const series_set_t&);
00062 
00063     const series_set_t& series() const;
00064   };
00065 
00066   template <class Series>
00067   bool
00068   operator==(const Automata<Series>&, const Automata<Series>&);
00069 
00070 } // vcsn
00071 
00072 
00073 #ifndef VCSN_USE_INTERFACE_ONLY
00074 # include <vaucanson/automata/concept/automata.hxx>
00075 #endif // VCSN_USE_INTERFACE_ONLY
00076 
00077 
00078 #endif // ! VCSN_AUTOMATA_CONCEPT_AUTOMATA_HH

Generated on Sat Jul 29 17:12:58 2006 for Vaucanson by  doxygen 1.4.6