Commit 7473cd1b authored by Jérôme Galtier's avatar Jérôme Galtier
Browse files

Add a specialization for generalized().

* include/vaucanson/automata/concept/automata.hh: Include
automata_kind.hh so that labels_are_letters is known.
(generalized): New (see automata.hxx).
* include/vaucanson/automata/concept/automata.hxx (generalized): New
specialization for labels_are_letters automata.
parent 0a7aa5d2
2009-09-29 Jrme Galtier <jerome.galtier@lrde.epita.fr>
Add a specialization for generalized().
* include/vaucanson/automata/concept/automata.hh: Include
automata_kind.hh so that labels_are_letters is known.
(generalized): New (see automata.hxx).
* include/vaucanson/automata/concept/automata.hxx (generalized): New
specialization for labels_are_letters automata.
2009-09-29 Jrme Galtier <jerome.galtier@lrde.epita.fr>
 
Fix the lal boolean automaton context.
......
......@@ -18,6 +18,7 @@
# define VCSN_AUTOMATA_CONCEPT_AUTOMATA_HH
# include <vaucanson/automata/concept/automata_base.hh>
# include <vaucanson/automata/concept/automata_kind.hh>
# include <vaucanson/design_pattern/slots.hh>
namespace vcsn
......@@ -174,6 +175,10 @@ namespace vcsn
bool
operator==(const Automata<Series, Kind>&, const Automata<Series, Kind>&);
template <typename Series, typename T>
typename generalized_traits<Element<Automata<Series, labels_are_letters>, T> >::automaton_t
generalized(const Element<Automata<Series, labels_are_letters>, T>& from);
} // ! vcsn
......
......@@ -141,6 +141,13 @@ namespace vcsn {
# undef PROJECTION_TRAITS
template <typename Series, typename T>
typename generalized_traits<Element<Automata<Series, labels_are_letters>, T> >::automaton_t
generalized(const Element<Automata<Series, labels_are_letters>, T>& from)
{
static_error(no_generalized_from_labels_are_letters);
}
} // ! vcsn
#endif // ! VCSN_AUTOMATA_CONCEPT_AUTOMATA_HXX
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment