Commit 7cc21a20 authored by Louis-Nol Pouchet's avatar Louis-Nol Pouchet
Browse files

2005-06-15 Louis-Noel Pouchet <louis-noel.pouchet@lrde.epita.fr>

	* include/vaucanson/z_fmp_transducer.hh,
	* include/vaucanson/fmp_transducer.hh: Define macro AUTOMATON_CONTEXT,
	regarding the automaton context used in fmp_transducer_functions.
	
	* include/vaucanson/contexts/fmp_transducer_functions.thh,
	* include/vaucanson/contexts/fmp_transducer_functions.thxx: Use macro
	AUTOMATON_CONTEXT instead of boolean_automaton.

	* include/vaucanson/algorithms/projections_fmp.hh: Fix missing 
	includes.
parent 5587a11c
2005-06-15 Louis-Noel Pouchet <louis-noel.pouchet@lrde.epita.fr>
* include/vaucanson/z_fmp_transducer.hh,
* include/vaucanson/fmp_transducer.hh: Define macro AUTOMATON_CONTEXT,
regarding the automaton context used in fmp_transducer_functions.
* include/vaucanson/contexts/fmp_transducer_functions.thh,
* include/vaucanson/contexts/fmp_transducer_functions.thxx: Use macro
AUTOMATON_CONTEXT instead of boolean_automaton.
* include/vaucanson/algorithms/projections_fmp.hh: Fix missing
includes.
2005-06-15 Sarah O'Connor <sarah.o-connor@lrde.epita.fr>
 
This patch offers several new algorithms on transducers seen as
......
......@@ -44,6 +44,11 @@
*/
/** @} */
# include <vaucanson/automata/concept/automata.hh>
# include <vaucanson/algebra/implementation/free_monoid/words.hh>
# include <vaucanson/algebra/concept/freemonoid_product.hh>
# include <vaucanson/algebra/implementation/series/series.hh>
namespace vcsn
{
/*-------.
......
......@@ -68,7 +68,7 @@ namespace vcsn
typename TransImpl,
typename ArgStruct,
typename ArgImpl>
boolean_automaton::series_set_elt_t
AUTOMATON_CONTEXT::series_set_elt_t
evaluation(const Element<TransStruct, TransImpl>& t,
const Element<ArgStruct, ArgImpl>& input);
......
......@@ -117,7 +117,7 @@ namespace vcsn
typename SeriesImpl,
typename S,
typename T>
boolean_automaton::series_set_elt_t
AUTOMATON_CONTEXT::series_set_elt_t
do_evaluation(const vcsn::AutomataBase<TransStruct>&,
const TransImpl&,
const SeriesStruct&,
......@@ -125,10 +125,10 @@ namespace vcsn
const Element<TransStruct, TransImpl>& t,
const Element<SeriesStruct, SeriesImpl>&)
{
boolean_automaton::automaton_t w = boolean_automaton::
AUTOMATON_CONTEXT::automaton_t w = AUTOMATON_CONTEXT::
new_automaton(t.structure().series()
.monoid().first_monoid().alphabet());
boolean_automaton::automaton_t result = boolean_automaton::
AUTOMATON_CONTEXT::automaton_t result = AUTOMATON_CONTEXT::
new_automaton(t.structure().series()
.monoid().second_monoid().alphabet());
standard_of(w, input);
......@@ -141,7 +141,7 @@ namespace vcsn
typename TransImpl,
typename ArgStruct,
typename ArgImpl>
boolean_automaton::series_set_elt_t
AUTOMATON_CONTEXT::series_set_elt_t
evaluation(const Element<TransStruct, TransImpl>& t,
const Element<ArgStruct, ArgImpl>& input)
{
......
......@@ -36,6 +36,7 @@
# include <vaucanson/boolean_automaton.hh>
# define VCSN_CONTEXT_NAMESPACE fmp_transducer
# define AUTOMATON_CONTEXT boolean_automaton
namespace vcsn
{
......@@ -63,5 +64,6 @@ namespace vcsn
# include <vaucanson/contexts/fmp_transducer_functions.thh>
# undef VCSN_CONTEXT_NAMESPACE
# undef AUTOMATON_CONTEXT
#endif // ! VCSN_FMP_TRANSDUCER_HH
......@@ -35,7 +35,7 @@
# include <vaucanson/z_automaton.hh>
# define VCSN_CONTEXT_NAMESPACE z_fmp_transducer
# define AUTOMATON_CONTEXT z_automaton
namespace vcsn
{
......@@ -63,5 +63,6 @@ namespace vcsn
# include <vaucanson/contexts/fmp_transducer_functions.thh>
# undef VCSN_CONTEXT_NAMESPACE
# undef AUTOMATON_CONTEXT
#endif // ! VCSN_Z_FMP_TRANSDUCER_HH
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