Commit bcefe964 authored by Michaël Cadilhac's avatar Michaël Cadilhac
Browse files

Minor fixes.

- include/vaucanson/contexts/ratseries_semiring.thh,
- include/vaucanson/contexts/r_semiring.thh,
- include/vaucanson/contexts/automaton_functions.thh,
- include/vaucanson/contexts/transducer_functions.thh,
- include/vaucanson/contexts/fmp_transducer_functions.thh,
- include/vaucanson/contexts/z_semiring.thh,
- include/vaucanson/contexts/automaton_functions.thxx,
- include/vaucanson/contexts/polynom_series.thh,
- include/vaucanson/contexts/automaton.thh,
- include/vaucanson/contexts/transducer_functions.thxx,
- include/vaucanson/contexts/transducer.thh,
- include/vaucanson/contexts/fmp_transducer_functions.thxx,
- include/vaucanson/contexts/boolean_semiring.thh,
- include/vaucanson/contexts/z_min_plus_semiring.thh,
- include/vaucanson/contexts/z_max_plus_semiring.thh,
- include/vaucanson/contexts/generic_automaton_impl.thh,
- include/vaucanson/contexts/dynamic_alphabet.thh,
- include/vaucanson/contexts/free_monoid.thh,
- include/vaucanson/contexts/generic_series.thh,
- include/vaucanson/contexts/free_monoid_product.thh,
- include/vaucanson/contexts/char_letter.thh: Warn programmers that
CPP guard shouldn't be added.

- ChangeLog: ChangeLog for 2006. The remainder is in
- ChangeLog.1: New. ... This one for years 2002-2003,
- ChangeLog.2: New. ... And this one  for years 2004-2005.
- Makefile.am: Add to `EXTRA_DIST'.
parent 26e57e36
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
......@@ -4,7 +4,7 @@
# $Id$
SUBDIRS = include doc src debian
EXTRA_DIST = vaucanson.spec
EXTRA_DIST = vaucanson.spec ChangeLog.1 ChangeLog.2
###
### Autoconf needs additional macros.
......
......@@ -3,7 +3,7 @@
//
// Vaucanson, a generic library for finite state machines.
//
// Copyright (C) 2005 The Vaucanson Group.
// Copyright (C) 2005, 2006 The Vaucanson Group.
//
// This program is free software; you can redistribute it and/or
// modify it under the terms of the GNU General Public License
......@@ -15,6 +15,12 @@
//
// The Vaucanson Group consists of people listed in the `AUTHORS' file.
//
/**
* @note CPP guard should not be inserted here as
* VCSN_CONTEXT_NAMESPACE could be changed.
*/
#include <vaucanson/automata/concept/automata.hh>
#include <vaucanson/automata/implementation/generalized.hh>
......
......@@ -15,39 +15,45 @@
//
// The Vaucanson Group consists of people listed in the `AUTHORS' file.
//
# include <vaucanson/automata/implementation/generalized.hh>
# include <vaucanson/tools/dot_dump.hh>
# include <vaucanson/tools/usual_macros.hh>
# ifndef VCSN_WITHOUT_ALGORITHM_INCLUDES
# include <vaucanson/algorithms/accessible.hh>
# include <vaucanson/algorithms/closure.hh>
# include <vaucanson/algorithms/complement.hh>
# include <vaucanson/algorithms/complete.hh>
# include <vaucanson/algorithms/concatenate.hh>
# include <vaucanson/algorithms/cut_up.hh>
# include <vaucanson/algorithms/derived_term_automaton.hh>
# include <vaucanson/algorithms/determinize.hh>
# include <vaucanson/algorithms/eval.hh>
# include <vaucanson/algorithms/isomorph.hh>
# include <vaucanson/algorithms/is_realtime.hh>
# include <vaucanson/algorithms/minimization_hopcroft.hh>
# include <vaucanson/algorithms/minimization_moore.hh>
# include <vaucanson/algorithms/normalized.hh>
# include <vaucanson/algorithms/product.hh>
# include <vaucanson/algorithms/realtime.hh>
# include <vaucanson/algorithms/standard.hh>
# include <vaucanson/algorithms/sum.hh>
# include <vaucanson/algorithms/transpose.hh>
# include <vaucanson/algorithms/trim.hh>
# include <vaucanson/algorithms/krat_exp_expand.hh>
# endif // ! VCSN_WITHOUT_ALGORITHM_INCLUDES
# include <vaucanson/algorithms/aut_to_exp.hh>
# include <vaucanson/algorithms/standard_of.hh>
# include <vaucanson/algorithms/thompson.hh>
/**
* @note CPP guard should not be inserted here as
* VCSN_CONTEXT_NAMESPACE could be changed.
*/
#include <vaucanson/automata/implementation/generalized.hh>
#include <vaucanson/tools/dot_dump.hh>
#include <vaucanson/tools/usual_macros.hh>
#ifndef VCSN_WITHOUT_ALGORITHM_INCLUDES
# include <vaucanson/algorithms/accessible.hh>
# include <vaucanson/algorithms/closure.hh>
# include <vaucanson/algorithms/complement.hh>
# include <vaucanson/algorithms/complete.hh>
# include <vaucanson/algorithms/concatenate.hh>
# include <vaucanson/algorithms/cut_up.hh>
# include <vaucanson/algorithms/derived_term_automaton.hh>
# include <vaucanson/algorithms/determinize.hh>
# include <vaucanson/algorithms/eval.hh>
# include <vaucanson/algorithms/isomorph.hh>
# include <vaucanson/algorithms/is_realtime.hh>
# include <vaucanson/algorithms/minimization_hopcroft.hh>
# include <vaucanson/algorithms/minimization_moore.hh>
# include <vaucanson/algorithms/normalized.hh>
# include <vaucanson/algorithms/product.hh>
# include <vaucanson/algorithms/realtime.hh>
# include <vaucanson/algorithms/standard.hh>
# include <vaucanson/algorithms/sum.hh>
# include <vaucanson/algorithms/transpose.hh>
# include <vaucanson/algorithms/trim.hh>
# include <vaucanson/algorithms/krat_exp_expand.hh>
#endif // ! VCSN_WITHOUT_ALGORITHM_INCLUDES
#include <vaucanson/algorithms/aut_to_exp.hh>
#include <vaucanson/algorithms/standard_of.hh>
#include <vaucanson/algorithms/thompson.hh>
namespace vcsn
{
......@@ -101,6 +107,6 @@ namespace vcsn
} // End of namespace vcsn.
# ifndef VCSN_USE_INTERFACE_ONLY
# include <vaucanson/contexts/automaton_functions.thxx>
#endif // ! VCSN_CONTEXTS_AUTOMATON_FUNCTIONS_THH
#ifndef VCSN_USE_INTERFACE_ONLY
# include <vaucanson/contexts/automaton_functions.thxx>
#endif // ! VCSN_USE_INTERFACE_ONLY
// -*- C++ -*-
// automaton_functions.thxx: this file is part of the Vaucanson project.
//
//
// Vaucanson, a generic library for finite state machines.
//
// Copyright (C) 2004, 2005 The Vaucanson Group.
//
//
// Copyright (C) 2004, 2005, 2006 The Vaucanson Group.
//
// This program is free software; you can redistribute it and/or
// modify it under the terms of the GNU General Public License
// as published by the Free Software Foundation; either version 2
// of the License, or (at your option) any later version.
//
//
// The complete GNU General Public Licence Notice can be found as the
// `COPYING' file in the root directory.
//
//
// The Vaucanson Group consists of people listed in the `AUTHORS' file.
//
/**
* @note CPP guard should not be inserted here as
* VCSN_CONTEXT_NAMESPACE could be changed.
*/
namespace vcsn
{
namespace VCSN_CONTEXT_NAMESPACE
{
/*----------------.
/*-----------------.
| make_automaton() |
`----------------*/
`-----------------*/
template <class InputIterator>
automata_set_t new_automata_set(InputIterator begin,
InputIterator end)
automata_set_t make_automata_set(InputIterator begin,
InputIterator end)
{
alphabet_t alpha;
for (InputIterator e = begin; e != end; ++e)
......@@ -39,9 +46,9 @@ namespace vcsn
template <class InputIterator>
automaton_t make_automaton(InputIterator begin,
InputIterator end)
InputIterator end)
{
return automaton_t (new_automata_set(begin, end));
return automaton_t (make_automata_set(begin, end));
}
template <class T>
......@@ -52,9 +59,9 @@ namespace vcsn
template <class InputIterator>
gen_automaton_t make_gen_automaton(InputIterator begin,
InputIterator end)
InputIterator end)
{
return gen_automaton_t (new_automata_set(begin, end));
return gen_automaton_t (make_automata_set(begin, end));
}
template <class T>
......@@ -64,14 +71,14 @@ namespace vcsn
}
/*--------------.
/*---------------.
| make_rat_exp() |
`--------------*/
`---------------*/
template <class Iterator>
rat_exp_t make_rat_exp(const Iterator& begin,
const Iterator& end,
const std::string& exp)
const Iterator& end,
const std::string& exp)
{
alphabet_t alphabet;
for (Iterator i = begin; i != end; ++i)
......@@ -155,4 +162,3 @@ namespace vcsn
} // End of namespace VCSN_CONTEXT_NAMESPACE.
} // End of namespace vcsn.
......@@ -3,7 +3,7 @@
//
// Vaucanson, a generic library for finite state machines.
//
// Copyright (C) 2005 The Vaucanson Group.
// Copyright (C) 2005, 2006 The Vaucanson Group.
//
// This program is free software; you can redistribute it and/or
// modify it under the terms of the GNU General Public License
......@@ -15,11 +15,14 @@
//
// The Vaucanson Group consists of people listed in the `AUTHORS' file.
//
#include <vaucanson/algebra/implementation/semiring/numerical_semiring.hh>
/*---------.
| Semiring |
`---------*/
/**
* @note CPP guard should not be inserted here as
* VCSN_CONTEXT_NAMESPACE could be changed.
*/
#include <vaucanson/algebra/implementation/semiring/numerical_semiring.hh>
namespace vcsn
{
......
......@@ -3,7 +3,7 @@
//
// Vaucanson, a generic library for finite state machines.
//
// Copyright (C) 2005 The Vaucanson Group.
// Copyright (C) 2005, 2006 The Vaucanson Group.
//
// This program is free software; you can redistribute it and/or
// modify it under the terms of the GNU General Public License
......@@ -15,6 +15,12 @@
//
// The Vaucanson Group consists of people listed in the `AUTHORS' file.
//
/**
* @note CPP guard should not be inserted here as
* VCSN_CONTEXT_NAMESPACE could be changed.
*/
namespace vcsn
{
......
......@@ -3,7 +3,7 @@
//
// Vaucanson, a generic library for finite state machines.
//
// Copyright (C) 2005 The Vaucanson Group.
// Copyright (C) 2005, 2006 The Vaucanson Group.
//
// This program is free software; you can redistribute it and/or
// modify it under the terms of the GNU General Public License
......@@ -15,11 +15,13 @@
//
// The Vaucanson Group consists of people listed in the `AUTHORS' file.
//
#include <vaucanson/algebra/implementation/alphabets/alphabets.hh>
/*----------.
| Alphabets |
`----------*/
/**
* @note CPP guard should not be inserted here as
* VCSN_CONTEXT_NAMESPACE could be changed.
*/
#include <vaucanson/algebra/implementation/alphabets/alphabets.hh>
namespace vcsn
{
......
......@@ -3,7 +3,7 @@
//
// Vaucanson, a generic library for finite state machines.
//
// Copyright (C) 2005 The Vaucanson Group.
// Copyright (C) 2005, 2006 The Vaucanson Group.
//
// This program is free software; you can redistribute it and/or
// modify it under the terms of the GNU General Public License
......@@ -15,19 +15,25 @@
//
// The Vaucanson Group consists of people listed in the `AUTHORS' file.
//
# include <vaucanson/algebra/concept/alphabets_base.hh>
# include <vaucanson/tools/usual_macros.hh>
# ifndef VCSN_WITHOUT_ALGORITHM_INCLUDES
# include <vaucanson/algorithms/closure.hh>
# include <vaucanson/algorithms/normalized_composition.hh>
# include <vaucanson/algorithms/sub_normalize.hh>
# include <vaucanson/algorithms/evaluation_fmp.hh>
# include <vaucanson/algorithms/projections_fmp.hh>
# include <vaucanson/algorithms/outsplitting.hh>
# include <vaucanson/algorithms/transpose.hh>
# include <vaucanson/algorithms/fmp_to_realtime.hh>
# endif // ! VCSN_WITHOUT_ALGORITHM_INCLUDES
/**
* @note CPP guard should not be inserted here as
* VCSN_CONTEXT_NAMESPACE could be changed.
*/
#include <vaucanson/algebra/concept/alphabets_base.hh>
#include <vaucanson/tools/usual_macros.hh>
#ifndef VCSN_WITHOUT_ALGORITHM_INCLUDES
# include <vaucanson/algorithms/closure.hh>
# include <vaucanson/algorithms/normalized_composition.hh>
# include <vaucanson/algorithms/sub_normalize.hh>
# include <vaucanson/algorithms/evaluation_fmp.hh>
# include <vaucanson/algorithms/projections_fmp.hh>
# include <vaucanson/algorithms/outsplitting.hh>
# include <vaucanson/algorithms/transpose.hh>
# include <vaucanson/algorithms/fmp_to_realtime.hh>
#endif // ! VCSN_WITHOUT_ALGORITHM_INCLUDES
namespace vcsn
{
......@@ -72,6 +78,6 @@ namespace vcsn
} // End of namespace vcsn.
# ifndef VCSN_USE_INTERFACE_ONLY
# include <vaucanson/contexts/fmp_transducer_functions.thxx>
#endif // ! VCSN_CONTEXTS_FMP_TRANSDUCER_FUNCTIONS_THH
#ifndef VCSN_USE_INTERFACE_ONLY
# include <vaucanson/contexts/fmp_transducer_functions.thxx>
#endif // ! VCSN_USE_INTERFACE_ONLY
// -*- C++ -*-
// fmp_transducer_functions.thxx: this file is part of the Vaucanson project.
//
//
// Vaucanson, a generic library for finite state machines.
//
// Copyright (C) 2005 The Vaucanson Group.
//
//
// Copyright (C) 2005, 2006 The Vaucanson Group.
//
// This program is free software; you can redistribute it and/or
// modify it under the terms of the GNU General Public License
// as published by the Free Software Foundation; either version 2
// of the License, or (at your option) any later version.
//
//
// The complete GNU General Public Licence Notice can be found as the
// `COPYING' file in the root directory.
//
//
// The Vaucanson Group consists of people listed in the `AUTHORS' file.
//
# include <vaucanson/algorithms/evaluation_fmp.hh>
# include <vaucanson/algorithms/minimization_hopcroft.hh>
# include <vaucanson/algorithms/aut_to_exp.hh>
# include <vaucanson/algorithms/trim.hh>
# include <vaucanson/algorithms/realtime.hh>
/**
* @note CPP guard should not be inserted here as
* VCSN_CONTEXT_NAMESPACE could be changed.
*/
#include <vaucanson/algorithms/evaluation_fmp.hh>
#include <vaucanson/algorithms/minimization_hopcroft.hh>
#include <vaucanson/algorithms/aut_to_exp.hh>
#include <vaucanson/algorithms/trim.hh>
#include <vaucanson/algorithms/realtime.hh>
namespace vcsn
{
......@@ -26,10 +33,10 @@ namespace vcsn
{
template <class FirstInputIterator, class SecondInputIterator>
automata_set_t new_automata_set(const FirstInputIterator first_begin,
const FirstInputIterator first_end,
const SecondInputIterator second_begin,
const SecondInputIterator second_end)
automata_set_t make_automata_set(const FirstInputIterator first_begin,
const FirstInputIterator first_end,
const SecondInputIterator second_begin,
const SecondInputIterator second_end)
{
first_alphabet_t first_alpha;
for (FirstInputIterator e = first_begin; e != first_end; ++e)
......@@ -48,20 +55,20 @@ namespace vcsn
template <class FirstInputIterator, class SecondInputIterator>
automaton_t make_automaton(const FirstInputIterator first_begin,
const FirstInputIterator first_end,
const SecondInputIterator second_begin,
const SecondInputIterator second_end)
const FirstInputIterator first_end,
const SecondInputIterator second_begin,
const SecondInputIterator second_end)
{
return automaton_t (new_automata_set(first_begin, first_end,
second_begin, second_end));
return automaton_t (make_automata_set(first_begin, first_end,
second_begin, second_end));
}
template <class T1, class T2>
automaton_t make_automaton(const T1& first_alphabet,
const T2& second_alphabet)
const T2& second_alphabet)
{
return make_automaton(first_alphabet.begin(), first_alphabet.end(),
second_alphabet.begin(), second_alphabet.end());
second_alphabet.begin(), second_alphabet.end());
}
template <class FirstIterator, class SecondIterator>
......@@ -114,10 +121,10 @@ namespace vcsn
{
AUTOMATON_CONTEXT::automaton_t w = AUTOMATON_CONTEXT::
make_automaton(t.structure().series()
.monoid().first_monoid().alphabet());
.monoid().first_monoid().alphabet());
AUTOMATON_CONTEXT::automaton_t result = AUTOMATON_CONTEXT::
make_automaton(t.structure().series()
.monoid().second_monoid().alphabet());
.monoid().second_monoid().alphabet());
standard_of(w, input);
evaluation_fmp(t, quotient(w), result);
return aut_to_exp(generalized(quotient(realtime(trim(result)))),
......
......@@ -3,7 +3,7 @@
//
// Vaucanson, a generic library for finite state machines.
//
// Copyright (C) 2005 The Vaucanson Group.
// Copyright (C) 2005, 2006 The Vaucanson Group.
//
// This program is free software; you can redistribute it and/or
// modify it under the terms of the GNU General Public License
......@@ -15,11 +15,14 @@
//
// The Vaucanson Group consists of people listed in the `AUTHORS' file.
//
# include <vaucanson/algebra/implementation/free_monoid/str_words.hh>
/*------------.
| Free monoid |
`------------*/
/**
* @note CPP guard should not be inserted here as
* VCSN_CONTEXT_NAMESPACE could be changed.
*/
#include <vaucanson/algebra/implementation/free_monoid/str_words.hh>
namespace vcsn
{
......
......@@ -3,7 +3,7 @@
//
// Vaucanson, a generic library for finite state machines.
//
// Copyright (C) 2005 The Vaucanson Group.
// Copyright (C) 2005, 2006 The Vaucanson Group.
//
// This program is free software; you can redistribute it and/or
// modify it under the terms of the GNU General Public License
......@@ -15,11 +15,13 @@
//
// The Vaucanson Group consists of people listed in the `AUTHORS' file.
//
# include <vaucanson/algebra/implementation/free_monoid_product/freemonoid_product_pair_str.hh>
/*-------.
| Monoid |
`-------*/
/**
* @note CPP guard should not be inserted here as
* VCSN_CONTEXT_NAMESPACE could be changed.
*/
#include <vaucanson/algebra/implementation/free_monoid_product/freemonoid_product_pair_str.hh>
namespace vcsn
{
......
......@@ -3,7 +3,7 @@
//
// Vaucanson, a generic library for finite state machines.
//
// Copyright (C) 2005 The Vaucanson Group.
// Copyright (C) 2005, 2006 The Vaucanson Group.
//
// This program is free software; you can redistribute it and/or
// modify it under the terms of the GNU General Public License
......@@ -15,6 +15,12 @@
//
// The Vaucanson Group consists of people listed in the `AUTHORS' file.
//
/**
* @note CPP guard should not be inserted here as
* VCSN_CONTEXT_NAMESPACE could be changed.
*/
#include <vaucanson/automata/implementation/graph.hh>
#include <vaucanson/automata/implementation/geometry.hh>
......
......@@ -3,7 +3,7 @@
//
// Vaucanson, a generic library for finite state machines.
//
// Copyright (C) 2005 The Vaucanson Group.
// Copyright (C) 2005, 2006 The Vaucanson Group.
//
// This program is free software; you can redistribute it and/or
// modify it under the terms of the GNU General Public License
......@@ -15,14 +15,16 @@
//
// The Vaucanson Group consists of people listed in the `AUTHORS' file.
//
# include <vaucanson/contexts/polynom_series.thh>
# include <vaucanson/algebra/implementation/series/krat.hh>
# include <vaucanson/algebra/implementation/series/krat_exp_parser.hh>
/**
* @note CPP guard should not be inserted here as
* VCSN_CONTEXT_NAMESPACE could be changed.
*/
/*-------.
| Series |
`-------*/
#include <vaucanson/contexts/polynom_series.thh>
#include <vaucanson/algebra/implementation/series/krat.hh>
#include <vaucanson/algebra/implementation/series/krat_exp_parser.hh>
namespace vcsn
{
......
......@@ -3,7 +3,7 @@
//
// Vaucanson, a generic library for finite state machines.
//
// Copyright (C) 2005 The Vaucanson Group.
// Copyright (C) 2005, 2006 The Vaucanson Group.
//
// This program is free software; you can redistribute it and/or
// modify it under the terms of the GNU General Public License
......@@ -15,11 +15,13 @@
//
// The Vaucanson Group consists of people listed in the `AUTHORS' file.
//
# include <vaucanson/algebra/implementation/series/polynoms.hh>
/*-------.
| Series |
`-------*/
/**
* @note CPP guard should not be inserted here as
* VCSN_CONTEXT_NAMESPACE could be changed.
*/
#include <vaucanson/algebra/implementation/series/polynoms.hh>
namespace vcsn
{
......
......@@ -3,7 +3,7 @@
//
// Vaucanson, a generic library for finite state machines.
//
// Copyright (C) 2005 The Vaucanson Group.
// Copyright (C) 2005, 2006 The Vaucanson Group.
//
// This program is free software; you can redistribute it and/or
// modify it under the terms of the GNU General Public License
......@@ -15,11 +15,13 @@
//
// The Vaucanson Group consists of people listed in the `AUTHORS' file.
//
#include <vaucanson/algebra/implementation/semiring/numerical_semiring.hh>
/*---------.
| Semiring |
`---------*/
/**
* @note CPP guard should not be inserted here as
* VCSN_CONTEXT_NAMESPACE could be changed.
*/
#include <vaucanson/algebra/implementation/semiring/numerical_semiring.hh>
namespace vcsn
{
......
......@@ -3,7 +3,7 @@
//
// Vaucanson, a generic library for finite state machines.
//
// Copyright (C) 2005 The Vaucanson Group.
// Copyright (C) 2005, 2006 The Vaucanson Group.
//
// This program is free software; you can redistribute it and/or
// modify it under the terms of the GNU General Public License
......@@ -15,6 +15,12 @@
//
// The Vaucanson Group consists of people listed in the `AUTHORS' file.
//