Commit 0b26bdc0 authored by Sylvain Lombardy's avatar Sylvain Lombardy Committed by Alexandre Duret-Lutz
Browse files

Fix image and domain.

* include/vaucanson/algorithms/image.hxx,
include/vaucanson/algorithms/domain.hxx: Call cut_up.
parent bed078cc
2011-09-13 Sylvain Lombardy <lombardy@univ-mlv.fr>
Fix image and domain.
* include/vaucanson/algorithms/image.hxx,
include/vaucanson/algorithms/domain.hxx: Call cut_up.
2011-09-13 Alexandre Duret-Lutz <adl@lrde.epita.fr>
 
Implement support.
......
......@@ -18,6 +18,7 @@
# define VCSN_ALGORITHMS_DOMAIN_HXX
# include <vaucanson/algorithms/domain.hh>
# include <vaucanson/algorithms/cut_up.hh>
namespace vcsn
{
......@@ -28,12 +29,14 @@ namespace vcsn
template <typename src_t, typename dst_t>
void
do_fmp_domain(const src_t& src, dst_t& dst, bool weighted)
do_fmp_domain(const src_t& input, dst_t& dst, bool weighted)
{
BENCH_TASK_SCOPED("fmp_domain");
AUTOMATON_TYPES_(src_t, trans_);
AUTOMATON_TYPES(dst_t);
src_t src = cut_up(input);
typedef typename trans_series_set_elt_t::support_t trans_support_t;
std::map<trans_hstate_t, hstate_t> stmap;
......
......@@ -26,12 +26,14 @@ namespace vcsn
{
template <typename auto_t, typename trans_t>
static void
do_fmp_image(const trans_t& fmp_trans, auto_t& res, bool weighted)
do_fmp_image(const trans_t& input, auto_t& res, bool weighted)
{
BENCH_TASK_SCOPED("image");
AUTOMATON_TYPES_(trans_t, trans_);
AUTOMATON_TYPES(auto_t);
trans_t fmp_trans = cut_up(input);
typedef typename trans_series_set_elt_t::support_t trans_support_t;
std::map<trans_hstate_t, hstate_t> stmap;
......
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