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

# alphabet_set.hh

    00001 // alphabet_set.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_ALGEBRA_IMPLEMENTATION_ALPHABETS_ALPHABET_SET_HH
    00018 # define VCSN_ALGEBRA_IMPLEMENTATION_ALPHABETS_ALPHABET_SET_HH
    00019
    00020 # include <vaucanson/algebra/implementation/alphabets/alphabets.hh>
    00021
    00022 namespace vcsn {
    00023
    00024   namespace algebra {
    00025
    00029     /*--------------------------------------------.
    00030     | alphabet_traits<AlphabetSet<L>,std::set<L>> |
    00031     `--------------------------------------------*/
    00032
    00034     template<typename L>
    00035     struct alphabet_traits<AlphabetSet<L>, std::set<L> >
    00036     {
    00038         typedef L                       letter_t;
    00039     };
    00040
    00044   } // algebra
    00045
    00049   /*-----------------------------------------.
    00050   | MetaElement<AlphabetSet<L>, std::set<L>> |
    00051   `-----------------------------------------*/
    00052
    00058   template<typename L>
    00059   struct MetaElement<algebra::AlphabetSet<L>, std::set<L> >
    00060     : MetaElement<algebra::AlphabetSetBase<algebra::AlphabetSet<L> >, std::set<L> >
    00061   {
    00063       static const bool dynamic_value = true;
    00064   };
    00065
    00069   namespace algebra {
    00070
    00071     template <typename L>
    00072     size_t op_max_size(const algebra::AlphabetSet<L>&, const std::set<L>&);
    00073
    00074     template <typename L>
    00075     bool op_contains(const algebra::AlphabetSet<L>& s, const std::set<L>& a);
    00076
    00077     template <typename L>
    00078     bool op_is_finite(const algebra::AlphabetSet<L>& s, const std::set<L>& a);
    00079
    00080     template <typename L>
    00081     bool op_contains_e(const algebra::AlphabetSet<L>& s, const std::set<L>& a,
    00082                        const L& v);
    00083   }
    00084
    00085 } // vcsn
    00086
    00087 # if !defined VCSN_USE_INTERFACE_ONLY || defined VCSN_USE_LIB
    00088 #  include <vaucanson/algebra/implementation/alphabets/alphabet_set.hxx>
    00089 # endif // VCSN_USE_INTERFACE_ONLY
    00090
    00091 #endif // ! VCSN_ALGEBRA_IMPLEMENTATION_ALPHABETS_ALPHABET_SET_HH