Commit 6a8bfaba authored by Jérôme Galtier's avatar Jérôme Galtier
Browse files

Fix the vcsn-lal-char-b TAF-Kit context.

* taf-kit/src/ratexp_commands.hh (aut_to_exp): Add a call to
generalized because the aut_to_exp algorithm only works on generalized
automata.
* include/vaucanson/automata/concept/automata_base.hh
(generalized_traits): Add the static keyword on the generalized
method.
* include/vaucanson/automata/concept/automata_base.hxx
(generalized_traits::generalized): Update the initialization of the
destination automaton.
parent 2780bf57
2009-10-21 Jérôme Galtier <jerome.galtier@lrde.epita.fr>
Fix the vcsn-lal-char-b TAF-Kit context.
* taf-kit/src/ratexp_commands.hh (aut_to_exp): Add a call to
generalized because the aut_to_exp algorithm only works on generalized
automata.
* include/vaucanson/automata/concept/automata_base.hh
(generalized_traits): Add the static keyword on the generalized
method.
* include/vaucanson/automata/concept/automata_base.hxx
(generalized_traits::generalized): Update the initialization of the
destination automaton.
2009-10-09 Jérôme Galtier <jerome.galtier@lrde.epita.fr>
 
Update the documentation of the interface.
......
......@@ -169,7 +169,7 @@ namespace vcsn {
> automaton_t; \
typedef typename automaton_t::hstate_t hstate_t; \
typedef typename automaton_t::htransition_t htransition_t; \
automaton_t generalized(const Auto_& from); \
static automaton_t generalized(const Auto_& from); \
}
// traits to construct an automaton type from a rational expression type,
......
......@@ -897,7 +897,9 @@ namespace vcsn {
Tag, \
GeometryCoords> > >::generalized(const Auto_& from)\
{ \
automaton_t to(from.structure()); \
typename automaton_t::series_set_t series_set(from.series()); \
typename automaton_t::set_t to_set(series_set); \
automaton_t to(to_set); \
auto_copy(to, from); \
return to; \
}
......
......@@ -79,7 +79,7 @@ DEFINE_COMMAND(NAME(derived_term_automaton)
DEFINE_COMMAND(NAME(aut_to_exp)
CODE(/* Empty */)
KEEP(aut_to_exp(get_aut(args, 1), DMChooser()))
KEEP(aut_to_exp(generalized_traits<automaton_t>::generalized(get_aut(args,1)), DMChooser()))
RETURNVALUE(0));
DEFINE_COMMAND(NAME(identity_exp)
......
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