ChangeLog 715 KB
Newer Older
1
2
3
4
5
6
7
8
9
10
2009-06-05  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	BOOST_CPPFLAGS were ignored while compiling lib/.

	* lib/src/libcommon.mk: Do not overwrite AM_CPPFLAGS with a list
	of include directories that is less complete than the one in
	vaucanson.mk, use...
	(libvcsn_common_la_CPPFLAGS, libvcsn_common_ex_la_CPPFLAGS):
	... these variable to augmant AM_CPPFLAGS instead.

Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
11
12
13
14
15
2009-05-26  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* configure.ac: Bump version to 1.3.0a.
	* doc/manual/taf-kit-manual.tex: Likewise.

Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
16
17
18
19
20
21
22
23
2009-05-26  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Release 1.3.

	* configure.ac: Bump version to 1.3.
	* doc/manual/taf-kit-manual.tex: Likewise.
	* doc/NEWS.txt: Update for 1.3.

Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
24
25
26
27
2009-05-26  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* doc/README.txt: Typo.

28
29
30
31
32
33
34
2009-05-26  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Typo in src/tests/check/Makefile.am.

	* src/tests/check/Makefile.am (libcheck_a_LIBADD): Rename as ...
	(libcheck_la_LIBADD): ... this.

35
36
37
38
39
40
41
42
43
44
2009-05-18  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Use libvcsn-common.la for all demos.

	* src/demos/demo.mk (LDADD): Define globally.
	* src/demos/algorithms/Makefile.am (aut_are_equivalent_LDADD,
	exp_are_equivalent_LDADD): Remove.
	* src/demos/one_rule_rewriting/Makefile.am (LDADD): Likewise.
	* src/demos/vgrep/Makefile.am (LDADD): Likewise.

45
46
47
48
49
2009-05-06  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* doc/NEWS.txt: Make clearer that the documentation is incomplete.
	Suggested by Jacques Sakarovitch.

50
51
2009-05-06  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

52
53
54
55
56
57
58
59
60
61
62
63
	Rename d2.xml as d1.xml.

	* data/automata/char-z/d2.cc: Rename as...
	* data/automata/char-z/d1.cc: ... this.
	* data/automata/char-z/Makefile.am: Adjust to build d1 and create
	d1.xml
	* taf-kit/tests/vcsn-char-z.test: Adjust to use d1.xml.
	* doc/manual/taf-kit-manual.tex: Rename d2.xml as d1.xml.

2009-05-06  Alexandre Duret-Lutz  <adl@lrde.epita.fr>


64
65
66
67
68
69
70
71
72
73
74
75
	Document left and right weight multiplications.

	* doc/manual/taf-kit-manual.tex (Writing Rational Expressions):
	Rename as ...
	(Writing (Weighted) Rational Expressions): ... this.
	(Rational operators): Show the result of the are-equivalent
	example.
	(Weights): Document left and right weights using text from
	Jacques Sakarovitch.
	(Trivial Identities): Write "weighted rational expression"
	instead of "rational expression" to avoid ambiguities.

76
77
78
79
2009-05-18  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* doc/README.txt: Update references to the Taf-Kit manual.

80
81
82
83
2009-05-18  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* AUTHORS: Update Sylvain's email.

84
85
86
87
88
89
90
91
92
2009-05-13  Alexandre Duret-Lutz  <adl@va-et-vient.net>

	abs() no longer works with g++ 4.4., we must write std::abs().

	* include/vaucanson/algebra/implementation/semiring/numerical_semiring.hxx,
	include/vaucanson/misc/random.hxx: Use std::abs() instead of abs().
	* include/vaucanson/algebra/implementation/semiring/rational_number.hxx:
	Likewise, and also include <cstdlib> for abs(int).

93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
2009-05-13  Alexandre Duret-Lutz  <adl@va-et-vient.net>

	Introduce libvcsn-common-ex.la in addition to libvcsn-common.la
	to decide whether exceptions should be used in preconditions.

	This fixes errors in taf-kit's test-suite when compiled with GCC
	4.4.  The code was making the bogus assumption that the inline
	function trap() was not inlined in the context libraries (compiled
	without exceptions) and could therefore be overwritten as a weak
	symbol in TAF-Kit (to use exceptions).

	* include/vaucanson/misc/contract.hh (vcsn::misc::contract::trap):
	Leave only a declaration and move the definition...
	* src/misc/contract.cc: ... in this new file.
	* lib/src/libcommon.mk: Adjust for contract.cc and build two
	libraries: libvcsn-common.la (with abort()) and
	libvcsn-common-ex.la (with exceptions).
	* data/automata/char-b/Makefile.am,
	data/automata/char-fmp-b/Makefile.am,
	data/automata/char-z/Makefile.am, taf-kit/src/Makefile.am,
	vaucanswig/meta/Makefile.am, src/tests/sanity/Makefile.am,
	src/tests/xml/Makefile.am: Link with libvcsn-common.la or
	libvcsn-common-ex.la.
	* taf-kit/src/common.hh (EXCEPTION_TRAPS): Remove #define.
	* src/bench/common/bench.mk (AM_CPPFLAGS): Remove useless
	-DEXCEPTION_TRAPS.
	* vaucanswig/expand.sh: Likewise.
	* src/tests/check/Makefile.am: Build libcheck.la instead
	of libcheck.a, so we can depend on libvcsn-common-ex.la
	* src/tests/check/check.mk: Use libcheck.la and
	libvcsn-common-ex.la.
	* src/tests/test-suites/test-suite.mk: Don't define
	EXCEPTION_TRAPS and don't add libvcsn-common-ex.la to LDADD
	(check.mk already does it).

128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
2009-05-13  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Rename libkrat_exp.la as libvcsn_common.la, and move lib/krat_exp/
	to lib/src/krat_exp/, so that we can later integrate more code
	into libvcsn_common.la.

	* bootstrap: Don't run bison, the Makefile will do it.
	* lib/krat_exp/krat_exp_bison.yy: Move ...
	* lib/src/krat_exp/krat_exp_bison.yy: ... here.
	* lib/krat_exp/libkrat_exp.mk: Rename as ...
	* lib/src/libcommon.mk: ... this, and adjust to the new names.
	* src/demos/algorithms/Makefile.am,
	src/demos/one_rule_rewriting/Makefile.am,
	src/demos/vgrep/Makefile.am, src/tests/xml/Makefile.am,
	taf-kit/src/Makefile.am, lib/Makefile.am: Change all references to
	libkrat_exp.la into libvcsn-common.la.

145
146
147
148
149
150
151
2009-05-12  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Fix errors reported by g++ 4.4.0.

	* include/vaucanson/algebra/implementation/series/transpose.hh:
	Do not name a argument T when T is also a template parameter.

Jérôme Galtier's avatar
Jérôme Galtier committed
152
153
154
155
156
157
2009-05-11  Jrme Galtier  <jerome.galtier@lrde.epita.fr>

	Remove the vcs directory.

	* vcs/vaucanson.rb: Remove.

158
159
160
161
162
163
164
2009-05-11  Jrme Galtier  <jerome.galtier@lrde.epita.fr>

	Fix out of tree building for the TAF-Kit manual.

	* doc/manual/Makefile.am: Correct the path to taf-kit-manual.tex by
	prefixing the old path with $(srcdir).

165
166
167
168
169
170
171
172
173
174
2009-05-10  Jrme Galtier  <jerome.galtier@lrde.epita.fr>

	Add support for boost multi-index >= 1.36.

	* include/vaucanson/automata/implementation/bmig/bmig_handlers.hh
	(operator==, operator!=, operator<, operator>, operator<=)
	(operator>=): Remove the last template parameter.
	* include/vaucanson/automata/implementation/bmig/bmig_handlers_op.hxx:
	Update the macro HOPERATOR for <, >, <=, >= and the one for ==, !=.

175
176
177
178
179
2009-05-04  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* configure.ac: Bump to 1.2.96a.
	* doc/manual/taf-kit-manual.tex: Likewise.

Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
180
181
182
183
184
185
186
187
2009-05-04  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Release 1.2.96.

	* configure.ac: Bump to 1.2.96.
	* doc/manual/taf-kit-manual.tex: Likewise.
	* doc/NEWS.txt: Document 1.2.96.

188
189
190
191
192
193
194
195
2009-04-30  d-halluin  <d-halluin@lrde.epita.fr>

	Optimize quotient on boolean automata.

	(As mentioned during the meeting on April 10th)

	* include/vaucanson/algorithms/minimization_hopcroft.hxx: Do that.

196
197
198
199
2009-04-30  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* data/automata/char-z/d2.cc: Really add this file.

Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
200
201
202
203
204
205
206
207
208
2009-04-30  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Introduce d2.xml.

	* data/automata/char-z/d2.cc: New file.
	* data/automata/char-z/Makefile.am: Build d2.xml.
	* taf-kit/tests/vcsn-char-z.test: Test d2.xml.
	* doc/manual/taf-kit-manual.tex (d2.xml): New section.

209
210
211
212
213
214
215
216
217
2009-04-30  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Remove dev3base10.xml: it is not a pertinent example of Z automaton.

	* data/automata/char-z/divkbaseb.cc: Delete.
	* data/automata/char-z/Makefile.am,
	taf-kit/tests/vcsn-char-z.test: Adjust.
	* doc/manual/taf-kit-manual.tex (div3base10.xml): Remove.

218
219
220
221
222
223
224
225
226
227
2009-04-30  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Use alphabet {0,1} for c1.xml.

	* data/automata/char-z/c1.cc: Rewrite using alphabet {0,1} instead
	of {a,b}.
	* taf-kit/tests/vcsn-char-z.test: Adjust test.
	* doc/manual/taf-kit-manual.tex (c1.xml): Adjust and document
	the figure.

228
229
230
231
232
2009-04-30  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* doc/manual/taf-kit-manual.tex: Minor corrections from Jacques
	Sakarovitch.

233
234
235
236
237
238
239
240
241
2009-04-30  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Turn the Vaucanson User's manual into a Taf-Kit documentation.

	* doc/manual/vaucanson-manual.tex: Rename as ...
	* doc/manual/taf-kit-manual.tex: ... this.  And change
	the title to "Taf-Kit Documentation"
	* doc/manual/Makefile.am, lrde-upload.sh: Adjust.

242
2009-04-17  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
243
244
245
246

	* src/tests/test-suites/algebra_numerical_semiring_int.defs: Add a
	newline at EOF to kill a GCC warning.

247
248
249
250
2009-04-16  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* doc/HACKING.txt: Use *this* for italics, not `this`.

251
252
253
254
255
256
257
258
2009-04-16  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Fix spurious calls to find_tests.sh and potential race conditions.

	* build-aux/find_tests.sh: Use $$ in temporary files to prevent
	races if this script is run more than once.
	* Makefile.am (build-aux/tests.m4): Always touch the output.

259
260
261
262
2009-04-16  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* doc/manual/vaucanson-manual.tex (Trivial Identities): New section.

263
264
265
266
267
2009-04-16  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* doc/manual/vaucanson-manual.tex: Fix some typos and reword some
	phrases.

Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
268
269
270
271
272
273
274
275
2009-04-15  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	More documentation.

	* doc/manual/vaucanson-manual.tex: Fill the automaton repository.
	Add some words about weights.  Kill the old examples from the doc
	except the part about Z-automata.

276
277
278
279
280
2009-04-15  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* lrde-upload.sh: Do not use git to compute the name of the
	branch.  Buildbot will now pass the branch name as first argument.

281
282
283
284
285
2009-04-14  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* include/vaucanson/algebra/implementation/series/krat_exp_parser_private.hh:
	Add header guards.

286
287
288
289
290
2009-04-14  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* lib/krat_exp/krat_exp_bison.yy: Use "%name-prefix=" instead
	of "%name-prefix " to please Bison < 2.4.

291
292
293
294
295
296
297
298
299
2009-04-10  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Rename the yy:: namespace into vcsnyy:: to prevent potential
	conflicts with a user defined parser.

	* include/vaucanson/algebra/implementation/series/krat_exp_parser.hxx,
	include/vaucanson/algebra/implementation/series/krat_exp_parser_private.hh,
	lib/krat_exp/krat_exp_bison.yy: Rename yy as vcsnyy.

300
301
302
303
304
305
306
307
308
309
310
311
2009-04-10  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Factor the two definitions of yy::krat_exp_parser in a single place.

	* include/vaucanson/algebra/implementation/series/krat_exp_parser.hxx
	(yy::krat_exp_parser): Move to...
	* include/vaucanson/algebra/implementation/series/krat_exp_parser_private.hh:
	This new file.
	* include/Makefile.am: Distribute and install the new file.
	* lib/krat_exp/krat_exp_bison.yy (yy::krat_exp_parser): Delete
	and include krat_exp_parser_private.hh instead.

312
313
314
315
316
317
318
319
320
2009-04-08  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Fix spurious "the token ' ' is already defined as a word" messages.

	* include/vaucanson/algebra/implementation/letter/int_letter.hxx
	(literal_to_letter): Do not skip spaces when translating numbers.
	* taf-kit/tests/vcsn-int-b.test: Add a test case.
	Thanks to Jrme for the help.

321
322
323
324
325
326
327
328
329
330
331
2009-04-10  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Make a new section of rational expressions.

	* doc/manual/vaucanson-manual.tex (Writing Rational Expression):
	New section.
	(Empty word and null series): Move into the previous section.
	(Interactive Definition of Automata): Create a new section out of...
	(Boolean automata): ... some text from here, and delete the rest.
	(Automaton Repository): Complete.

332
333
334
335
2009-04-09  Alexandre Duret-Lutz  <adl@va-et-vient.net>

	* doc/manual/vaucanson-manual.tex (\tafkit) More text.

336
337
338
339
340
341
342
343
2009-04-07  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Rework the TAF-Kit introduction.

	* doc/manual/vaucanson-manual.tex (The \Vauc toolkit): Rename
	as...
	(\tafkit): ... this and add more text.

Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
344
345
346
347
348
349
350
2009-04-07  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	More administrativia.

	* doc/manual/vaucanson-manual.tex (Installation): Rename as...
	(Administrativia): ... this, and add more text.

351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
2009-04-03  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Manual: some work on the title page and the introduction.

	* doc/manual/vaucanson-manual.tex (\TFK,\TFKv): Remove these
	unused macros.
	(\title,\author): Remove and replace by a custom titlepage.
	Also change the title from "The Vaucanson TAF-Kit 1.2.95"
	to "Vaucanson User's Manual".
	(Introduction): Rewrite to introduce the library, TAF-Kit, and
	the automata repository.
	(Automaton Library): Rename as ...
	(Automaton Repository): ... to avoid ambiguities with Vaucanson
	being an Automaton Library too.

366
367
368
369
2009-04-03  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* lrde-upload.sh: Update to take Git branches into account.

370
371
372
373
374
375
376
377
378
2009-04-03  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Replace check_doc.py by a call to grep.

	* doc/manual/Makefile.am (maintainer-check): Replace the
	call to check_doc.py by a simple call to grep.
	(CLEANFILES, check_doc.py): Do not build check_doc.py anymore.
	* doc/manual/check_doc.py.in: Delete.

379
380
381
382
2009-04-03  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* doc/FAQ.txt: Really delete it, as intended on 2009-01-23.

383
384
385
386
387
388
2009-04-02  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Copy some sections from developer.tex into HACKING.txt

	* doc/HACKING.txt (Tools): New section.

389
390
391
392
2009-04-02  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* doc/README.txt: python-docutils is not needed by end-users.

393
394
395
396
397
2009-04-02  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* Makefile.am (maintainer-check): Call maintainer-check in
	doc/manual.

398
399
400
401
402
403
404
405
406
407
2009-04-02  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Remove some unused Makefile rules.

	* Makefile.am (install-epita): Remove.
	* doc/manual/Makefile.am (install-epita, deep-clean,
	vcsndldir_data): Remove.
	(EXTRA_DIST): Do not distribute the manual a second time, it
	is already in dist_pdf_DATA.

408
409
410
411
412
2009-04-02  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* doc/manual/Makefile.am (check_doc.py): Add missing $(srcdir)/
	on dependency.

413
414
415
416
417
418
419
420
421
422
2009-04-02  Alexandre Duret-Lutz  <adl@va-et-vient.net>

	More developer documentation.

	* doc/HACKING.txt (Version control): New section to discuss Git
	and how to work with Git.
	(Parallel make): Remove Fixme and simplify command.
	(distcc, ccache): More text
	(Improve the build system): Remove.

423
424
425
426
427
428
429
430
431
432
433
2009-04-02  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Move the user manual check from check to maintainer-check.

	* configure.ac: Only check for python when building vaucanswig.
	* doc/.gitignore: Remove check_doc.py.
	* doc/manual/Makefile.am: Do not distribute check_doc.py and
	check_doc.py.in. Only run check_doc.py when invoking the
	maintainer-check target.
	* doc/HACKING.txt: Add a step when making a release.

434
435
436
437
438
439
440
2009-04-01  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Cleanup command display in the user manual.

	* doc/manual/vaucanson-manual.tex: Use $ as prompt in the shell
	environments. Convert all verbatim environments to shell ones.

441
442
443
444
445
446
447
2009-04-01  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Update the automaton TikZ style in the user manual.

	* doc/manual/vaucanson-manual.tex: Make states bolder, and loops
	larger (code by Alexandre Duret-Lutz).

Jerome Galtier's avatar
Jerome Galtier committed
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
2009-04-01  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Remove share dependencies.

	* doc/manual/developer.tex, doc/README.txt, doc/HACKING.txt: Remove
	references to share.
	* doc/Makefile.am: Remove the share-up target. Use texi2pdf.
	* doc/manual/Makefile.am: Remove the variables share_dir,
	share_bin_dir, share_style_dir and share_bib_dir. Do not use the
	--dvipdf flag (TikZ is used instead of Vaucanson-G so plain DVI
	compilation is no more required).
	* doc/manual/vaucanson-manual.tex: Convert all Vaucanson-G pictures to
	TikZ ones. Use babel, hyperref, tikz instead of mybabel, myhyperref,
	Vaucanon-G respectively. Do not include myacronym, texi and misc.
	Include xspace. Many tweaks.
	* doc/share/README, doc/share/bib/vaucanson.bib,
	doc/share/bin/texi2dvi, doc/share/styles/VCpatch-pstricks-1-10.tex,
	doc/share/styles/Vaucanson-G.tex, doc/share/styles/hevea.sty,
	doc/share/styles/ldf/stl.sty, doc/share/styles/ldf/vaucanson.sty,
	doc/share/styles/misc.hva, doc/share/styles/misc.sty,
	doc/share/styles/myacronym.hva, doc/share/styles/myacronym.sty,
	doc/share/styles/mybabel.hva, doc/share/styles/mybabel.sty,
	doc/share/styles/mycxx.sty, doc/share/styles/myhyperref.hva,
	doc/share/styles/myhyperref.sty, doc/share/styles/myifthen.hva,
	doc/share/styles/myifthen.sty, doc/share/styles/myindex.hva,
	doc/share/styles/myindex.sty, doc/share/styles/texi.hva,
	doc/share/styles/texi.sty, doc/share/styles/vaucanson-g.sty: Remove.

Jerome Galtier's avatar
Jerome Galtier committed
476
477
478
479
480
481
2009-04-01  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Update .gitignore.

	* .gitignore: Add NEWS and README.

482
483
484
485
486
487
488
489
490
491
492
493
2009-04-01  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Do not depend on version.tex in the user manual.

	* configure.ac: Always check for python.
	* doc/.gitignore: Remove version.tex, add check_doc.py.
	* doc/manual/Makefile.am: Do not generate version.tex at build
	time. Use a script (check_doc.py.in) to check the user manual.
	* doc/manual/vaucanson-manual.tex: Add the VcsnVersion tag. Let
	\maketitle build the date.
	* doc/manual/check_doc.py.in: New.

494
495
496
497
498
499
500
2009-04-01  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Cleanup the user manual further.

	* doc/manual/vaucanson-manual.tex: Remove sections from the old
	developer manual.

501
502
503
504
505
506
507
508
509
510
511
512
513
514
2009-04-01  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Only use one tex file for the user manual.

	* doc/manual/Makefile.am: Remove introduction.tex, installation.tex,
	taf-kit.tex, theory.tex, automata.tex, xml.tex, specification.tex from
	the distribution.
	* doc/manual/automata.tex, doc/manual/installation.tex,
	doc/manual/introduction.tex, doc/manual/specification.tex,
	doc/manual/taf-kit.tex, doc/manual/theory.tex, doc/manual/xml.tex:
	Remove.
	* doc/manual/vaucanson-manual.tex: Merge the previously named files
	into this one.

Jerome Galtier's avatar
Jerome Galtier committed
515
516
517
518
519
520
521
522
523
524
2009-03-30  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Streamline the user manual.

	* doc/manual/Makefile.am: Remove the minidist target. Remove
	library.tex from the sources.
	* doc/manual/extex.pl, doc/manual/extex.mk, doc/manual/library.tex,
	doc/manual/generate-automata.sh: Remove.
	* doc/manual/vaucanson-manual.tex: Do not include library.tex.

525
2009-03-30  Jerome Galtier  <jerome.galtier@lrde.epita.fr>
526

Jérôme Galtier's avatar
Jérôme Galtier committed
527
	Remove make dist dependency on make (Close #140).
528
529
530
531
532
533
534
535
536
537
538
539

	* doc/.gitignore: Remove automata.tex and manual.ext as they are no
	more generated.
	* doc/manual/Makefile.am: Disable the extraction of commands in
	taf-kit.tex, and the generation of automata.tex.
	* doc/manual/automata.tex: New.
	* doc/manual/taf-kit.tex: Replace each occurrence of execcaption by a
	verbatim environment. Remove each occurrence of includegenerateddot.
	* doc/manual/vaucanson-manual.tex: Remove the commands
	includegenerated, includegenerateddot, execcaption and execdisplay. Do
	not use vaucanswig.tex and developer.tex.

540
541
542
543
544
545
546
547
2009-03-17  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Fix a distcheck failure.

	* src/tests/test-suites/Makefile.am ($(srcdir)/subdirs.mk): Do
	not run am--refresh in the srcdir, the makefile is in the buildir.
	Also touch the destination file.

548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
2009-03-17  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Rename has_succ_comp() to is_useless() and reverse its result.

	* include/vaucanson/algorithms/has_succ_comp.hh,
	include/vaucanson/algorithms/has_succ_comp.hxx (has_succ_comp):
	Rename as...
	* include/vaucanson/algorithms/is_useless.hh,
	include/vaucanson/algorithms/is_useless.hxx (is_useless): ... this.
	* include/Makefile.am, include/vaucanson/standard_algorithms.hh,
	taf-kit/src/b_commands.cc, taf-kit/src/common_commands.hh,
	taf-kit/src/fmp_commands.cc, taf-kit/src/r_commands.cc,
	taf-kit/src/z_commands.cc, taf-kit/tests/vcsn-char-b.test: Adjust
	all uses.

563
564
2009-03-17  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

565
566
567
568
569
570
	* taf-kit/src/common_automaton_commands.hh: Rename co-accessible
	as coaccessible.

2009-03-17  Alexandre Duret-Lutz  <adl@lrde.epita.fr>


571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
	Hide minimize-moore and eps-removal-sp from --list-commands.  Show
	them only with the new --list-all-commands option.

	* taf-kit/src/common_automaton_commands.hh (eps_removal_sp):
	Declare as EXPERT.
	* taf-kit/src/b_commands.cc (minimize-moore): Declare as EXPERT.
	* taf-kit/src/commands.hh (command_t::expert): New field.
	* taf-kit/src/commands_macros.hh (COMMAND_ENTRY_CN_,
	COMMAND_ENTRY_CN, COMMAND_ENTRY, COMMAND_GROUP): Fill the expert
	field with 0.
	(COMMAND_ENTRY_EXPERT, COMMAND_ENTRY_EXPERT_CN): New entries.
	* taf-kit/src/interface.hh, taf-kit/src/interface.cc
	(list_commands): Take a boolean as an argument to decide whether
	to show expert functions.
	* taf-kit/src/main.cc (options): Add a --list-all-commands
	option.

588
589
590
591
2009-03-17  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* taf-kit/tests/vcsn-char-b.test: Typo.

592
593
594
595
596
597
598
599
600
601
602
2009-03-17  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Make it possible to override the writing data of an XML rat_exp.

	* taf-kit/src/getters.hxx (get_exp): Overwrite the writing data
	with any data supplied on the command line after reading the
	rat_exp_t.
	* taf-kit/src/getters.hh, taf-kit/src/getters.hxx
	(set_writing_data): New function for rat_exp_t.
	* taf-kit/tests/vcsn-char-b.test: Add more tests.

603
604
605
606
607
608
609
610
611
612
613
614
615
2009-03-17  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Make it possible to read a XML rat_exp from a Unix pipe.

	* taf-kit/src/getters.hxx (get_exp): Pass the input format
	to the rat_exp_getter.
	* taf-kit/src/pipe_getters.hh, taf-kit/src/pipe_getters.hxx
	(rat_exp_getter::f, rat_exp_getter::rat_exp_getter) Store the
	input format.
	(rat_exp_getter::operator): Add support for reading XML from
	string or pipe, depending on the input format.
	* taf-kit/tests/vcsn-char-b.test: Test the external pipe.

616
617
618
619
620
621
622
623
2009-03-16  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Do not force --alphabet to be used with rat_exps on internal pipe.

	* taf-kit/src/getters.hxx (get_exp): Do not force calls
	to get_alphabet when reading from "-".
	* taf-kit/tests/vcsn-char-b.test: Add a test case.

624
625
626
627
628
629
630
631
632
633
2009-03-17  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Preserve the representations in standard_of and thompson_of.

	* include/vaucanson/contexts/automaton_maker.thxx (do_standard_of,
	do_thompson_of): Preserve the representations.
	* taf-kit/src/ratexp_commands.hh (standard_of, thompson_of,
	derived_term_automaton): Do not call set_writing_data, we simply
	keep the writing data of the rational expression.

634
635
636
637
2009-03-16  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* taf-kit/src/pipe_command_sequence.hh: Remove useless includes.

638
639
640
641
642
643
644
645
646
647
2009-03-16  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Merge KEEP_AUTOMATON with KEEP in Taf-Kit.

	* taf-kit/src/commands_macros.hh (KEEP_AUTOMATON): Remove.
	* taf-kit/src/commands_macros.hh, common_automaton_commands.hh,
	taf-kit/src/common_commands.hh, taf-kit/src/fmp_commands.cc,
	taf-kit/src/ratexp_commands.hh: Replace all uses of KEEP_AUTOMATON
	by uses of KEEP.

648
649
650
651
652
653
654
2009-03-16  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* taf-kit/src/getters.hxx, taf-kit/src/commands_macros.hh,
	taf-kit/src/common.hh, taf-kit/src/main.cc: replace the
	GLOBAL_RESULT macro and the associated variable
	last_command_output, by the variable global_result.

655
656
657
658
659
2009-03-16  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* taf-kit/src/commands_macros.hh, taf-kit/src/getters.hxx: Get rid
	of all GLOBAL_RESULT "#ifdef"s.

660
661
662
663
664
2009-03-13  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* taf-kit/tests/vcsn-char-b.test: Add more tests for rational
	expressions and writing data.

665
666
667
668
669
670
671
672
673
674
675
676
677
2009-03-13  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Do not read the alphabet from the command line with a rational
	expression has just been read.  Use the alphabet from the
	expression instead.

	* taf-kit/src/getters.hh, taf-kit/src/getters.hxx (get_alphabet):
	New overload to retrieve the alphabet of a rat_exp_t.
	* taf-kit/src/ratexp_commands.hh (standard_of, thompson_of):
	Do not call make_automaton and get_alphabet.
	(derived_term_automaton): retrieve the alphabet of the expression
	that has been read, do not request it from the command line.

678
679
680
681
682
683
684
685
686
687
688
689
690
2009-03-13  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Replace <typedRegExp><label>...</label></typedRegExp> by
	<typedRegExp>...</typedRegExp> in the XML output of rational
	expressions.

	* include/vaucanson/xml/builders.hh,
	include/vaucanson/xml/builders.hxx (create_regexp_node): Take
	a root_name argument, and use it to replace the	<label> tag.
	* include/vaucanson/xml/printers.hxx (RegExpPrinter<RE>::print):
	Do not create the <typedRegExp> tag, instead call create_regexp_node()
	with "typedRegExp" as root_name.

691
692
693
694
2009-03-11  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* configure.ac (Swig check): Do not mention SVN in the warning.

695
696
697
698
699
700
701
702
2009-03-11  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Do not use the SCM revision in the version of Vaucanson.
	Let's keep the source code as independent of the SCM as we can.

	* configure.ac (VCSN_PRE_RELEASE): Don't call.
	(VCSN_PRE_RELEASE, VCSN_DETECT_SVN_REVISION): Remove.

Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
703
704
705
706
2009-03-11  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* AUTHORS: Add Maurice.

707
708
709
710
711
712
713
2009-03-10  Alex Hamelin  <hamelin@lrde.epita.fr>

	Fix tests of Standard and Thompson.
	* src/tests/include/tests/automata/algos/labeled_graphs/thompson_test.hh:
	Modify Thompson Tests for product to respect the right behavior. Add
	a test of equivalence between "ab" and "a.b".
	* src/tests/include/tests/automata/algos/label_aware_graphs/standard_of_regression_test.hh:
714
715
	Fix a bug using two times the same automaton to be filled without it
	being emptied before.
716
717
	* src/tests/include/tests/context_headers/automata/global_consistency_test.hh:
	Same fix as above.
718

719
720
721
722
723
724
725
726
2009-03-10  Alex Hamelin  <hamelin@lrde.epita.fr>

	Optimization of Standard visitor.
	* include/vaucanson/algorithms/standard_of.hh: Add information
	about the function's behavior.
	* include/vaucanson/algorithms/standard_of.hxx: Improve Standard
	visitor by preventing creation of several useless automata.

727
728
2009-03-10  Alex Hamelin  <hamelin@lrde.epita.fr>

729
	Factorize and document Standard algorithm.
730
731
732
733
734
	* include/vaucanson/algorithms/standard.hh: Add link to Trac's page
	speaking about standard automata.
	* include/vaucanson/algorithms/standard.hxx: Factorize functions' body
	for standard_of modifications.

Alex Hamelin's avatar
Alex Hamelin committed
735
736
737
738
739
740
741
742
743
744
2009-03-08  Alex Hamelin  <hamelin@lrde.epita.fr>

	Thompson Optimization.
	* include/vaucanson/algorithms/thompson.hxx: Improve Thompson
	Visitor by preventing creation of multiple useless automata.
	Correct a bug in product construction by adding a spontaneous
	transition.
	* include/vaucanson/algorithms/thompson.hh: Add documentation about
	thompson_of behavior.

745
746
747
748
749
750
751
752
753
2009-02-18  Maurice Audin  <audin@lrde.epita.fr>

	Add two new TAF-Kits, char-zmin and char-zmax, with basic tests.
	* configure.ac: Add new files and wrappers.
	* taf-kit/src/Makefile.am: Add two new contexts.
	* taf-kit/tests/Makefile.am: Add tests for the new contexts.
	* taf-kit/tests/vcsn-char-zmax.test,
	* taf-kit/tests/vcsn-char-zmin.test: Add two basic tests (non-determinist automata include).

Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
754
755
756
757
758
2009-02-13  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* include/vaucanson/algorithms/aci_canonical.hh (canonical):
	Document it.

Jerome Galtier's avatar
Jerome Galtier committed
759
760
761
762
763
764
2009-02-18  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Update HACKING.txt.
	* doc/HACKING.txt: Remove the example as it does not improve the
	  build time further.

765
766
767
768
769
770
771
772
2009-02-11  Florian Lesaint  <florian.lesaint@lrde.epita.fr>

	Add XML support for rational expressions in TAF-Kit.
	Now, it is possible to execute things like:
	./vcsn-char-b -o XML --alphabet=ab identity-exp "(a+b)*.a.(a+b)*"
	./vcsn-char-b -i XML identity-exp exp1.xml
	./vcsn-char-b -i XML -o XML identity-exp exp1.xml

Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
773
	* taf-kit/src/common.hh: Split input_type into input_exp_type and
774
775
776
777
778
779
780
	    input_aut_type (Allow XML by default for aut and EXP for regexp).
	* taf-kit/src/getters.hxx: Add XML input for rat_exp.
	* taf-kit/src/main.cc: input_exp_type/input_aut_type.
	* taf-kit/src/pipe.hh: input_exp_type/input_aut_type.
	* taf-kit/src/pipe.hxx: input_exp_type/input_aut_type.
	* taf-kit/src/pipe_writers.hxx: Add XML output for rat exp.

781
782
783
784
785
786
787
2009-02-11  Florian Lesaint  <florian.lesaint@lrde.epita.fr>

	Fix XML support of rational expressions.
	* xml/handlers.hxx: Here.
	* xml/regexp.hh: Here.
	* xml/regexp.hxx: Here.

788
789
790
791
2009-02-10  Florian Lesaint  <florian.lesaint@lrde.epita.fr>

	Add XML support for rational expressions.
	We can now load and save rational expressions following the same
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
792
	syntax used for automata, using regexp_loader and regexp_saver
793
794
795
796
797
	instead of automaton_loader and automaton_saver.

	The code added might definitely be optimized:
	  - Some parts of the code could definitely be merged.
	  - It might not be necessary to have TransitionConverter and
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
798
	    Format in regexp_loader, since we (currently) have only this
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
	    way to print rational expressions.
	  - The names were arbitrarily chosen. (Especially: It now exists
	    a RegExpHandler and a RegexpHandler [-> typedRegExpHandler ?])

	Not yet done: an exhaustive list of tests.

	* include/vaucanson/algebra/concept/series_base.hh,
	* include/vaucanson/algebra/concept/series_base.hxx: Added some typedefs
	  and some functions so that Series could have a behavior closer to
	  automata (it allows to factorize the code when printing the rational
	  expression).
	* include/vaucanson/tools/io.hh: Add regexp_saver mechanism.
	* include/vaucanson/tools/io.hxx: Add regexp_saver mechanism.
	* include/vaucanson/xml/XML.hh: Specialize operator() with the provided
	  loader/saver.
	* include/vaucanson/xml/XML.hxx: Specialize operator() with the
	  provided loader/saver.
	* include/vaucanson/xml/builders.hxx: Simplified.
	* include/vaucanson/xml/contexts/fmp.hxx: Simplified.
	* include/vaucanson/xml/contexts/rw.hxx: Simplified.
	* include/vaucanson/xml/handlers.hh: Add DocAutHandler,
	  DocRegExpHandler, RegExpHandler.
	* include/vaucanson/xml/handlers.hxx: Add DocAutHandler,
	  DocRegExpHandler, RegExpHandler.
	* include/vaucanson/xml/parsers.hh: Add RegExpParser.
	* include/vaucanson/xml/parsers.hxx: Add RegExpParser.
	* include/vaucanson/xml/printers.hh: Add RegExpPrinter.
	* include/vaucanson/xml/printers.hxx: AddRegExpPrinter.

Florian Lesaint's avatar
Florian Lesaint committed
828
829
830
831
832
833
834
2009-02-10  Florian Lesaint  <florian.lesaint@lrde.epita.fr>

	Fix bug in XML support.
	A counter was not initialized which could make it impossible
	to read XML files with <star> tokens...
	* include/vaucanson/xml/regexp.hxx: Initialize a value...

835
836
837
838
839
840
841
2009-01-27  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* doc/Makefile.am (TEXI2DVI_FLAGS): Do not hardcode the build
	directory to prevent race conditions during parallel builds of
	several PDF files.
	(mostlyclean-local): Delete all *.t2d directories.

Jerome Galtier's avatar
Jerome Galtier committed
842
843
844
845
846
2009-01-26  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Fix NEWS.txt.
	* doc/NEWS.txt: Be more precise about the new features.

847
848
849
850
2009-01-23  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* doc/NEWS.txt: Mention realtime-exp and fix a typo.

Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
851
852
853
854
855
856
857
858
859
860
2009-01-23  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* doc/FAQ.txt: Delete.  Of the three entries that was in this
	FAQ two are obsolete (NAN and getopt), and one is not really a
	FAQ.
	(VCSN_DEFAULT_GRAPH_IMPL): Move this documentation ...
	* doc/HACKING.txt: ... here.
	* doc/README.txt: Do not mention de FAQ.
	* doc/Makefile.am (EXTRA_DIST, dist_pdf_DATA): Update.

Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
861
862
863
864
865
866
867
868
869
870
871
872
873
2009-01-23  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* doc/README.txt: Remove the date as it hasn't been updated since
	2006.
	(Overview): Mention weighted finite automata.
	(Additional features): Mention --default-graph-impl=listg
	(Layout of the tarball): Update to reflect recent changes.
	(Requirements): Make it clearer that Xerces and Graphviz are
	not optional.
	(See Also): Delete obsolete items.
	(Contacts): Fix contact addresses.


874
875
876
877
878
879
2009-01-22  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Set the correct rights in lrde-upload.sh.
	* lrde-upload.sh: Add read permissions for everyone on
	  `vaucanson-manual.pdf'.

Alex Hamelin's avatar
Alex Hamelin committed
880
881
882
883
884
2009-01-22  Alex Hamelin  <hamelin@lrde.epita.fr>

	Release 1.2.95.
	* AUTHORS: Add new author.
	* configure.ac: Change version number.
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
885
	* doc/NEWS.txt: Update for release.
Alex Hamelin's avatar
Alex Hamelin committed
886
887
	* doc/share/styles/myacronym.sty,
	* doc/share/styles/misc.hva: make share-up.
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
888

889
890
891
892
2009-01-21  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* taf-kit/src/predefined_alphabets.hh: More doc.

893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
2009-01-21  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* taf-kit/src/predefined_alphabets.hxx (ALPHABET_ASCII,
	ALPHABET_AZ, ALPHABET_AZAZ, ALPHABET_DIGITS): Get rid of these
	macros.
	(predefined_alphabets): Define the alphabets directly inside
	the structure.
	(shortdef): Add a readable definition of the alphabet so that we
	can ...
	(build_predefined_string): ... loop over the predefined_alphabets
	to create the help string.
	* taf-kit/tests/vcsn-char-b.test, taf-kit/tests/vcsn-char-fmp-b.test,
	taf-kit/tests/vcsn-char-fmp-z.test,
	taf-kit/tests/vcsn-char-z.test: Adjust the test to the slightly
	different output.

909
910
911
912
913
914
915
916
917
918
919
920
921
2009-01-21  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* taf-kit/src/predefined_alphabets.hh,
	taf-kit/src/predefined_alphabets.hxx (alphabet_lookup): New function.
	* taf-kit/src/main.cc (parse_opt): Use alphabet_lookup()
	to simplify the detection of predefined alphabet.
	(alphabet): Move this structure...
	* taf-kit/src/predefined_alphabets.hxx (alphabet): ... here.
	* taf-kit/src/predefined_alphabets.hh (ALPHABET_ASCII,
	ALPHABET_AZ, ALPHABET_AZAZ, ALPHABET_DIGITS): Move these
	definitions...
	* taf-kit/src/predefined_alphabets.hxx: ... here.

922
923
924
925
926
927
928
2009-01-21  Vivien Delmon  <vivien.delmon@lrde.epita.fr>

	Add preconditions and remove debug code.
	* include/vaucanson/algorithms/reduce.hh,
	* include/vaucanson/algorithms/reduce.hxx: Add preconditions and
	  remove debug code.

Jerome Galtier's avatar
Jerome Galtier committed
929
930
931
932
933
934
2009-01-21  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Remove dead code.
	* include/Makefile.am: Remove file from the distribution.
	* include/vaucanson/design_pattern/factory.hh: Remove.

935
936
937
938
939
940
941
942
943
944
2009-01-21  Vivien Delmon  <vivien.delmon@lrde.epita.fr>

	Comment and add directions for reduce algorithm..
	* include/vaucanson/algorithms/reduce.hh: Add comments about reduce
	  algorithm.
	* include/vaucanson/algorithms/reduce.hxx: replace backward by
	  right_left and forward by left_right.
	* include/vaucanson/misc/direction.hh: add left_right and right_left
	  directions.

945
946
947
948
949
950
2009-01-21  Vivien Delmon  <vivien.delmon@lrde.epita.fr>

	Use std::abs instead of fabs / fabsf ...
	* include/vaucanson/algebra/implementation/semiring/numerical_semiring.hxx:
	  std::abs does the dispatch.

951
952
953
954
955
956
2009-01-21  Vivien Delmon  <vivien.delmon@lrde.epita.fr>

	Use fabs / fabsf instead of abs.
	* include/vaucanson/algebra/implementation/semiring/numerical_semiring.hxx:
	  Replace abs by fabs and fabsf in op_eq for float and double.

Jerome Galtier's avatar
Jerome Galtier committed
957
958
959
960
961
2009-01-21  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Fix a typo in the ChangeLog.
	* ChangeLog: Fix an email address.

962
963
964
965
966
967
968
969
2009-01-21  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* taf-kit/src/predefined_alphabets.hxx (build_predefined_string):
	Write "empty word" not "epsilon".
	* taf-kit/tests/vcsn-char-b.test, taf-kit/tests/vcsn-char-fmp-b.test,
	taf-kit/tests/vcsn-char-fmp-z.test, taf-kit/tests/vcsn-char-z.test,
	taf-kit/tests/vcsn-int-b.test: Likewise.

970
971
972
973
974
975
976
977
2009-01-21  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* taf-kit/src/main.cc (predefined_string): Compute it at startup...
	(main) ... not here.
	* taf-kit/src/predefined_alphabets.hxx,
	taf-kit/src/predefined_alphabets.hh (build_predefined_string):
	Return a pointer to a static string.

Jerome Galtier's avatar
Jerome Galtier committed
978
2009-01-21  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
979
980
981
982
983
984
985

	* build-aux/vcsn-xml.m4, include/vaucanson/xml/internal/ios.hh,
	include/vaucanson/xml/internal/ios.hxx: Change the Xerces version
	check not to print "Bad version" (the fact we do not support a
	version does not mean that version is bad) and not disallow future
	versions.

986
987
988
989
990
2009-01-21  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* taf-kit/tests/vcsn-char-b.test: Augment the test for two spaces
	to make sure we can really use two spaces.

991
992
993
994
995
996
997
998
999
1000
1001
1002
1003
1004
1005
1006
1007
1008
1009
1010
1011
1012
1013
2009-01-21  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	rw_composition: Fix a bug for transitions with a polynomial in R.
	Reported by Sylvain Lombardy.
	* include/vaucanson/algorithms/internal/evaluation.hh: Improve
	  documentation. Cosmetic changes.
	* include/vaucanson/algorithms/internal/evaluation.hxx
	  (do_partial_evaluation): Be more precise when receiving dispatch
	  by requiring the first argument to be a `Series'. Call
	  `standard_of' on the whole input expression instead of just the
	  first element in the support. (partial_evaluation): Update
	  according to the new dispatch of `do_partial_evaluation'.
	* include/vaucanson/algorithms/rw_composition.hh: Update the
	  documentation.
	* include/vaucanson/algorithms/rw_composition.hxx: Include the
	  header file `realtime.hh' required by `is_realtime'.
	  (do_rw_composition): Add a precondition on `S'. Improve comments
	  and cosmetic changes. Update the algorithm according to the change
	  to `partial_evaluation'.
	* src/tests/include/Makefile.am: Add a new test to the distribution.
	* src/tests/include/tests/automata/algos/boolean_rw_transducers/rw_composition_test.hh:
	  New regression test.

1014
1015
1016
1017
1018
1019
1020
1021
1022
1023
2009-01-21  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	rw_composition: Fix a bug in partial_evaluation.
	* include/vaucanson/algorithms/internal/evaluation.hxx
	  (do_partial_evaluation): Iterate through all the states in `Sp'
	  instead of only the initial ones.
	* src/tests/include/Makefile.am: Add new file to the distribution.
	* src/tests/include/tests/automata/algos/boolean_rw_transducers/partial_evaluation_test.hh:
	  New regression test.

1024
1025
1026
1027
1028
1029
1030
1031
1032
1033
1034
1035
1036
1037
1038
1039
2009-01-21  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Demos: Factor more code in ORR_iterate, fix typos.
	* src/demos/one_rule_rewriting/ORR_iterate.cc: Remove all the
	  references to the macro `DEBUG'. Do not include
	  `tools/dot_display.hh' anymore. Include the header
	  `one_rule_rewriting.hh', and subsequently remove all the redundant
	  function definitions (prefsuf, alpha_convert, alpha_map,
	  replace_left and replace_right). Sanitize namespace usages.
	  (usage): Remove the help about the argument `name'. (main): Do not
	  use argv[4]. Simplify the code by removing the use of the
	  auxiliary function `string_to_int'. Add more comments, and
	  cosmetic changes. Fix the initialization of the loop. Add some
	  code to dump the `iter_ima' variable. When printing informations
	  about automaton: use the already defined `operator<<'.

1040
1041
1042
1043
1044
1045
2009-01-21  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Demos: Cleanup shortest.hh to be more in line with vcsn.
	* src/demos/one_rule_rewriting/shortest.hh: Add the Copyright
	  notice. Add guards. Cosmetic changes.

1046
1047
1048
1049
1050
1051
1052
1053
2009-01-21  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Demos: Fix a typo in ORR_demo.
	* src/demos/one_rule_rewriting/ORR_demo.cc (main): Call
	  `realtime_here' on `right_auto' as it is passed as the second
	  argument of `rw_composition', and there is a `is_realtime'
	  precondition on this argument.

1054
1055
1056
1057
1058
1059
1060
1061
1062
1063
1064
1065
1066
1067
1068
1069
1070
2009-01-21  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	rw_composition: New evaluation_rw algorithm.
	* include/Makefile.am: Add new files to the distribution.
	* include/vaucanson/algorithms/evaluation_rw.hh: New.
	* include/vaucanson/algorithms/evaluation_rw.hxx: New.
	* include/vaucanson/algorithms/internal/evaluation.hxx: Move the
	  functions `evaluation' and `do_evaluation' to `evaluation_rw' and
	  `do_evaluation_rw' respectively (see `evaluation_rw.hh'). Cleanup
	  included headers.
	* include/vaucanson/algorithms/rw_composition.hxx: Include the header
	  file `internal/evaluation.hh'.
	* include/vaucanson/contexts/transducer_functions.thh,
	* include/vaucanson/contexts/transducer_maker.thxx: Include
	  `evaluation_rw.hh' instead of `internal/evaluation.hh'. Call
	  `evaluation_rw' instead of `evaluation'.

1071
1072
1073
1074
1075
1076
1077
1078
1079
1080
1081
1082
1083
1084
1085
1086
1087
1088
1089
1090
2009-01-21  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	TAF-Kit: Fix the epsilon of predefined alphabets in --help.
	* taf-kit/src/Makefile.am: Add new file to the distribution.
	* taf-kit/src/main.cc: Only include the `predefined_alphabets.hh'
	  header if relevant. Remove any reference to the `DEFAULT_EPSILON'
	  macro. New variable `predefined_string', to hold the dynamically
	  calculated string displayed when using --help.
	  (main) [!NO_PREDEF_ALPHABETS]: Call the new
	  `build_predefined_string' to populate `predefined_string'.
	* taf-kit/src/predefined_alphabets.hh: Include the
	  `parser_options.hh' header file. Remove the definition of
	  `DEFAULT_EPSILON'. Declare new function `build_predefined_string'.
	* taf-kit/src/predefined_alphabets.hxx: New: Add the implementation
	  of the `build_predefined_string'.
	* taf-kit/tests/vcsn-char-b.test,
	* taf-kit/tests/vcsn-char-fmp-b.test,
	* taf-kit/tests/vcsn-char-fmp-z.test,
	* taf-kit/tests/vcsn-char-z.test: Add the regression test.

1091
1092
1093
1094
1095
1096
1097
1098
1099
1100
1101
1102
1103
1104
1105
1106
1107
1108
1109
2009-01-21  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	TAF-Kit: Disable predefined alphabets for pair contexts.
	* taf-kit/src/Makefile.am: Define `NO_PREDEF_ALPHABETS' for the
	  `vcsn-char-char-b', `vcsn-char-int-b' and `vcsn-int-int-b'
	  executables.
	* taf-kit/tests/vcsn-char-b.test,
	* taf-kit/tests/vcsn-char-char-b.test,
	* taf-kit/tests/vcsn-char-fmp-b.test,
	* taf-kit/tests/vcsn-char-fmp-z.test,
	* taf-kit/tests/vcsn-char-int-b.test,
	* taf-kit/tests/vcsn-char-z.test,
	* taf-kit/tests/vcsn-int-b.test,
	* taf-kit/tests/vcsn-int-fmp-b.test,
	* taf-kit/tests/vcsn-int-fmp-z.test,
	* taf-kit/tests/vcsn-int-int-b.test,
	* taf-kit/tests/vcsn-int-z.test: Check whether or not a predefined
	  alphabet is defined.

1110
1111
1112
1113
1114
1115
1116
1117
1118
1119
1120
1121
1122
1123
1124
1125
1126
1127
1128
1129
1130
1131
1132
1133
1134
2009-01-21  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	XML: Add support for xerces-c 3.0 (Close #193).
	* build-aux/vcsn-xml.m4: Update the macro `_VCSN_CHECK_XML' to check
	  for xerces-c version x such as 2.3 <= x <= 3. Update the C++ ABI
	  check with code from `internal/ios.hh'.
	* include/Makefile.am: Update distributed files.
	* include/vaucanson/xml/parsers.hxx: Include `xml/internal/ios.hh'
	  instead of `xml/ios.hh'.
	* include/vaucanson/xml/printers.hxx (AutPrinter::print): Use the
	  new `print_xml' function declared in `internal/ios.hh'.
	* include/vaucanson/xml/ios.hh,
	* include/vaucanson/xml/ios.hxx,
	* include/vaucanson/xml/xml_xerces_stream.hh,
	* include/vaucanson/xml/xml_xerces_stream.hxx: Merge these files in
	  the new internal `ios.hh' and `ios.hxx'.
	* include/vaucanson/xml/internal/ios.hh,
	* include/vaucanson/xml/internal/ios.hxx: These files declare all
	  the low level stream handling of Vaucanson, and xerces-c major
	  version dependent code: New `print_xml' function to hide from user
	  level code the XERCES_VERSION_MAJOR macro.
	  (BinCxxInputStream::curPos, BinCxxInputStream::readBytes,
	  XMLXercesStream::writeChars): Update prototype to use `XMLSize_t'
	  and `XERCES_FILEPOS'.

1135
1136
1137
1138
1139
1140
2009-01-21  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	XML: Factor more code with create_element.
	* include/vaucanson/xml/xml_exp_visitor.hxx: Replace each call of
	  `createElement' by a corresponding call of `create_element'.

1141
1142
1143
1144
1145
1146
1147
2009-01-21  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	XML: Use createElementNS when creating DOM nodes.
	* include/vaucanson/xml/tools.hxx (create_element): Use the proper
	  name-space aware function `createElementNS' as Vaucanson has its
	  own name-space.

Jerome Galtier's avatar
Jerome Galtier committed
1148
1149
1150
1151
1152
1153
1154
2009-01-21  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Cleanup dead code.
	* include/Makefile.am: Remove files from the distribution.
	* include/vaucanson/algebra/implementation/series/rat/xml_exp_visitor.hh: Remove.
	* include/vaucanson/algebra/implementation/series/rat/xml_exp_visitor.hxx: Remove.

1155
1156
1157
1158
1159
1160
1161
1162
1163
2009-01-21  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Fix a segfault when handling more than one space (Close #180).
	* include/vaucanson/algebra/implementation/series/krat_exp_parser.hxx
	  (Lexer::Lexer): Reserve seven elements only for `token_tab_'.
	  Rewrite a loop using an STL idiom.
	* taf-kit/tests/vcsn-char-b.test: Add the regression test for this
	  bug.

1164
1165
1166
1167
1168
1169
2009-01-16  Vivien Delmon  <vivien.delmon@lrde.epita.fr>

	Prevent vaucanswig from compiling reduce algorithm.
	* vaucanswig/expand.sh: Prevent vaucanswig from compiling reduce
	  algorithm.

Vivien Delmon's avatar
Vivien Delmon committed
1170
1171
1172
1173
1174
1175
1176
1177
1178
1179
1180
1181
1182
1183
1184
1185
1186
1187
2009-01-15  Vivien Delmon  <vivien.delmon@lrde.epita.fr>

	Merge of the reduction branch.
	* ChangeLog: .
	* configure.ac: .
	* include/Makefile.am: .
	* include/vaucanson/algebra/implementation/semiring/numerical_semiring.hh: .
	* include/vaucanson/algebra/implementation/semiring/numerical_semiring.hxx: .
	* include/vaucanson/algorithms/reduce.hh: New.
	* include/vaucanson/algorithms/reduce.hxx: New.
	* include/vaucanson/contexts/automaton_functions.thh: .
	* include/vaucanson/design_pattern/element_ops.hxx: .
	* lib/generate_libvcsn.rb: .
	* taf-kit/src/Makefile.am: .
	* taf-kit/src/r_commands.cc: New.
	* taf-kit/tests/Makefile.am: .
	* taf-kit/tests/vcsn-char-r.test: New.

1188
1189
1190
1191
1192
2008-12-30  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* taf-kit/src/ratexp_commands.hh (realtime_exp): New command.
	* taf-kit/tests/vcsn-char-z.test: Add some tests.

1193
1194
1195
1196
1197
2008-12-30  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* include/vaucanson/algorithms/derived_term_automaton.hxx
	(DERIVATES_TRACE_DEBUG): Send traces to cerr, not cout.

1198
1199
1200
1201
1202
1203
1204
1205
1206
1207
2008-12-30  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Fix the << operator for PartialExp.  Since 2008-10-22 we cannot
	output rational expressions without knowing their structural
	element.

	* include/vaucanson/algorithms/internal/partial_rat_exp.hxx
	(operator<<): Build a rational expression with a structural
	element, for printing.

1208
1209
1210
1211
1212
1213
1214
1215
2008-12-16  Vivien Delmon  <vivien.delmon@lrde.epita.fr>

	Add a wrapper for vcsn-char-r and a first test for reduce.
	* configure.ac: Generate vcsn-char-r wrapper.
	* taf-kit/tests/Makefile.am,
	* taf-kit/tests/vcsn-char-r.test: Add test on the equivalence of two
	  R-automata using reduce.

1216
1217
1218
1219
1220
1221
1222
2008-12-12  Vivien Delmon  <vivien.delmon@lrde.epita.fr>

	End of reduce algorithm implementation.
	* include/vaucanson/algorithms/reduce.hh,
	* include/vaucanson/algorithms/reduce.hxx: Add building of the new
	  automaton from the matrix version

1223
1224
1225
1226
1227
1228
1229
1230
1231
2008-12-12  Vivien Delmon  <vivien.delmon@lrde.epita.fr>

	Add a new taf-kit for r_automaton and add reduce to libvcsn-r.
	* lib/generate_libvcsn.rb: Add reduce to libvcsn-r.
	* include/vaucanson/contexts/automaton_functions.thh: Add reduce.
	* taf-kit/src/Makefile.am,
	* taf-kit/src/r_commands.cc,
	* taf-kit/tests/Makefile.am: Generate tafkit for Real semiring.

Vivien Delmon's avatar
Vivien Delmon committed
1232
1233
1234
1235
1236
1237
1238
2008-12-12  Vivien Delmon  <vivien.delmon@lrde.epita.fr>

	Revert part of r2578.
	* include/vaucanson/algebra/implementation/semiring/numerical_semiring.hxx,
	* include/vaucanson/algebra/implementation/semiring/numerical_semiring.hh:
	  revert.

1239
1240
1241
1242
1243
1244
1245
2008-12-11  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Fix a typo in normalized and subnormalized composition tests.
	* src/tests/include/tests/automata/algos/fmp_transducers/normalized_composition_test.hh,
	* src/tests/include/tests/automata/algos/fmp_transducers/subnormalized_composition_test.hh:
	  Replace `y' by `v'.

1246
1247
1248
1249
1250
1251
1252
1253
1254
2008-12-11  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Fix make_rat_exp function calls in the test-suite.
	* src/tests/include/tests/automata/algos/boolean_rw_transducers/invert_test.hh,
	* src/tests/include/tests/automata/algos/fmp_transducers/evaluation_fmp_test.hh,
	* src/tests/include/tests/automata/algos/fmp_transducers/normalized_composition_test.hh,
	* src/tests/include/tests/automata/algos/fmp_transducers/subnormalized_composition_test.hh:
	  Use the proper representations while building the ratexp.

1255
1256
1257
1258
1259
1260
2008-12-11  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Fix invert-test for boolean_rw_transducers.
	* src/tests/include/tests/automata/algos/boolean_rw_transducers/invert_test.hh:
	  Do not generate invalid alphabets.

Vivien Delmon's avatar
Vivien Delmon committed
1261
1262
1263
1264
1265
1266
1267
2008-12-10  Vivien Delmon  <vivien.delmon@lrde.epita.fr>

	Add reduce algorithm.
	* include/Makefile.am: Add reduce.h{h,xx}.
	* include/vaucanson/algorithms/reduce.hh: New.
	* include/vaucanson/algorithms/reduce.hxx: New.

1268
1269
1270
1271
1272
1273
1274
2008-12-10  Vivien Delmon  <vivien.delmon@lrde.epita.fr>

	Add a specialisation of std::swap to help gcc.
	* include/vaucanson/design_pattern/element_ops.hxx: The other
	  specialisation with a template T1 for the first element and a
	  template T2 for the second was ambigous for gcc.

1275
1276
1277
1278
1279
1280
1281
2008-12-10  Vivien Delmon  <vivien.delmon@lrde.epita.fr>

	Add op_neg and op_div to real semirings.
	* include/vaucanson/algebra/implementation/semiring/numerical_semiring.hh,
	* include/vaucanson/algebra/implementation/semiring/numerical_semiring.hxx:
	  Add op_neg and op_div functions to real semirings.

1282
1283
1284
1285
1286
1287
1288
1289
1290
1291
1292
1293
1294
1295
1296
1297
1298
1299
2008-12-10  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Fix some algorithms interfaces.
	* include/vaucanson/algorithms/krat_exp_derivation.hh: Disable
	  the remaining interface as it do not work with Vaucanswig.
	* include/vaucanson/algorithms/eval.hh: Enable the interfaces as the
	  `Word' pseudo-type is handled correctly by Vaucanswig.
	* include/vaucanson/algorithms/krat_exp_constant_term.hh,
	* include/vaucanson/algorithms/krat_exp_derivation.hh,
	* include/vaucanson/algorithms/krat_exp_flatten.hh,
	* include/vaucanson/algorithms/krat_exp_linearize.hh: Replace
	  `*e' by `e' as rat exp need not be dereferenced.
	* include/vaucanson/algorithms/extension.hh: Disable the interfaces
	  as the `Transducer' pseudo-type cannot be handled by Vaucanswig
	  (Vaucanswig do not work for transducers).
	* vaucanswig/expand.sh: Add support for the `Letter' pseudo
	  type.

1300
1301
1302
1303
1304
1305
1306
1307
1308
1309
1310
2008-12-10  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Fix constant for rat::exp (Close #196).
	* include/vaucanson/algebra/implementation/series/krat.hxx
	  (op_assign): Name the first argument, so that it is used
	  subsequently. (op_series_set): Use `op_convert' instead of
	  manually calling `constant' (factor more code). Pass the series to
	  various `op_convert' calls. Cosmetic changes.
	* src/tests/include/tests/algebra/series/misc/series_test.hh: Add
	  regression test.

Jerome Galtier's avatar
Jerome Galtier committed
1311
1312
1313
1314
1315
1316
2008-12-10  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Fix global_consistency test.
	* src/tests/include/tests/context_headers/automata/global_consistency_test.hh:
	  Be more generic with respect to series representations.

1317
1318
1319
1320
1321
1322
1323
1324
1325
1326
1327
1328
1329
1330
1331
1332
2008-12-10  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Fix op_convert for string based monoid (Close #198).
	* include/vaucanson/algebra/implementation/monoid/str_words.hh,
	* include/vaucanson/algebra/implementation/monoid/str_words.hxx:
	  Remove `op_convert' as its meaning may be ambiguous when the word
	  implementation is the same as the literal implementation.
	* src/tests/include/tests/algebra/free_monoid/free_monoid_test.hh:
	  New regression test. Fix a typo.
	* src/tests/include/tests/algebra/series/misc/series_test.hh: Fix
	  some typos so that errors are more meaningful.
	* src/tests/xml/xml_int_trans_tester.cc,
	* src/tests/xml/xml_int_z_trans_tester.cc,
	* src/tests/include/tests/automata/algos/pair_automata/pair_to_fmp_test.hh:
	  Adjust by calling `parse_word'.

1333
1334
1335
1336
1337
1338
1339
1340
1341
1342
1343
1344
1345
1346
1347
1348
1349
1350
1351
1352
1353
1354
1355
1356
1357
1358
1359
1360
1361
2008-12-08  Reuben Thomas  <rrt@sc3d.org>

	Use type abbreviations for delta_iterators.
	AUTOMATION_TYPES defines types for delta_iterator
	and rdelta_iterator, so use them.
	* include/vaucanson/algorithms/accessible.hxx,
	* include/vaucanson/algorithms/aut_to_exp.hxx,
	* include/vaucanson/algorithms/complete.hxx,
	* include/vaucanson/algorithms/determinize.hxx,
	* include/vaucanson/algorithms/eps_removal.hxx,
	* include/vaucanson/algorithms/eps_removal_sp.hxx,
	* include/vaucanson/algorithms/eval.hxx,
	* include/vaucanson/algorithms/internal/evaluation.hxx,
	* include/vaucanson/algorithms/internal/has_neighbour.hxx,
	* include/vaucanson/algorithms/internal/outsplitting.hxx,
	* include/vaucanson/algorithms/is_deterministic.hxx,
	* include/vaucanson/algorithms/letter_to_letter_composition.hxx,
	* include/vaucanson/algorithms/minimization_hopcroft.hxx,
	* include/vaucanson/algorithms/minimization_moore.hxx,
	* include/vaucanson/algorithms/normalized_composition.hxx,
	* include/vaucanson/algorithms/product.hxx,
	* include/vaucanson/algorithms/rw_composition.hxx,
	* include/vaucanson/algorithms/search.hxx,
	* include/vaucanson/algorithms/standard.hxx,
	* include/vaucanson/algorithms/sum.hxx,
	* include/vaucanson/automata/concept/automata_base.hh,
	* include/vaucanson/tools/fsm_dump.hxx,
	* include/vaucanson/tools/gen_random.hxx: Here.

1362
1363
1364
1365
1366
1367
1368
1369
1370
1371
1372
1373
1374
1375
1376
1377
1378
1379
1380
2008-12-08  Reuben Thomas  <rrt@sc3d.org>

	Add INTERFACEs and some new pseudo-types.
	The uses of the new pseudo-types are disabled, as they would
	presumably not work with vaucanswig.
	* include/vaucanson/algorithms/cut_up.hh: Add interfaces.
	* include/vaucanson/algorithms/eval.hh: Add disabled interfaces.
	* include/vaucanson/algorithms/extension.hh: Add interfaces.
	* include/vaucanson/algorithms/krat_exp_constant_term.hh: Add
	  interfaces.
	* include/vaucanson/algorithms/krat_exp_derivation.hh: Add an
	  interface and a disabled interface.
	* include/vaucanson/algorithms/krat_exp_flatten.hh: Add interface.
	* include/vaucanson/algorithms/krat_exp_linearize.hh: Add a disabled
	  interface.
	* include/vaucanson/algorithms/krat_exp_realtime.hh: Add an interface.
	* lib/generate_libvcsn.rb: Add the LinExp and Word pseudo-types. Their
	  uses are currently disabled.

Reuben Thomas's avatar
Reuben Thomas committed
1381
1382
1383
1384
1385
1386
2008-12-08  Reuben Thomas  <rrt@sc3d.org>

	Whitespace correction.
	* include/vaucanson/misc/usual_macros.hh: Make new iterator
	  types line up with everything else.

Jerome Galtier's avatar
Jerome Galtier committed
1387
1388
1389
1390
1391
1392
1393
2008-12-03  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Fix typo.
	* ChangeLog: Fix ChangeLog entry of r2565.
	* include/vaucanson/algebra/concept/freemonoid_product.hxx: Fix
	  English typo. Rephrase the sentence about `adaptive behavior'.

1394
1395
1396
1397
1398
2008-12-03  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* taf-kit/tests/vcsn-char-b.test: Do not build two
	empty automata in the same file.

1399
1400
1401
1402
1403
1404
2008-12-03  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	TAF-Kit: Add comments about r2553.
	* taf-kit/src/ratexp_commands.hh: Here.
	* taf-kit/tests/vcsn-char-b.test: New regression test.

Jerome Galtier's avatar
Jerome Galtier committed
1405
1406
1407
1408
1409
1410
1411
1412
1413
1414
1415
1416
2008-12-03  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	TAF-Kit: Fix a bug.
	* taf-kit/src/parser_options.hh (definition): New attribute
	  `first_space_'.
	* taf-kit/src/parser_options.hxx (push_space): Do not use a static
	  flag as more than one parser_options are used for FMP.
	* taf-kit/tests/automata/char-fmp-b/wd-full.xml: New.
	* taf-kit/tests/defs.in: New XML file.
	* taf-kit/tests/vcsn-char-fmp-b.test: New regression test.
	* taf-kit/tests/Makefile.am: Add new file to the distribution.

1417
1418
1419
1420
1421
1422
1423
1424
1425
1426
1427
1428
1429
2008-12-03  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Add tests for writing data and fix a bug.
	* taf-kit/tests/vcsn-char-b.test,
	* taf-kit/tests/vcsn-char-char-b.test,
	* taf-kit/tests/vcsn-char-fmp-b.test,
	* taf-kit/tests/vcsn-char-fmp-z.test,
	* taf-kit/tests/vcsn-char-int-b.test,
	* taf-kit/tests/vcsn-char-z.test,
	* taf-kit/tests/vcsn-int-b.test,
	* taf-kit/tests/vcsn-int-fmp-b.test,
	* taf-kit/tests/vcsn-int-fmp-z.test,
	* taf-kit/tests/vcsn-int-int-b.test,
Jerome Galtier's avatar
Jerome Galtier committed
1430
	* taf-kit/tests/vcsn-int-z.test: Test handling of writing data.
1431
1432
1433
1434
	* include/vaucanson/algebra/concept/freemonoid_product.hxx: Fix
	  a bug: New `split_monoid_()', update FMP constructors. Add
	  more comments.

1435
1436
1437
1438
1439
1440
1441
2008-12-03  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	TAF-Kit: Homogenize XML output.
	* taf-kit/src/edition_commands.hxx: Do not append an `std::endl'
	  after calling `automaton_saver'.
	* taf-kit/tests/vcsn-char-b.test: Regression test.

Jerome Galtier's avatar
Jerome Galtier committed
1442
1443
1444
1445
1446
2008-12-03  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Fix ChangeLog for [2543].
	* ChangeLog: Be more precise about what has been done.

1447
1448
1449
1450
1451
1452
1453
2008-12-03  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	TAF-Kit: Update a test about quot3base2.xml.
	* taf-kit/tests/vcsn-char-fmp-b.test: Check that `div3base2.xml' and
	  the domain of `quot3base2.xml' are equivalent (suggested by
	  Alexandre Duret-Lutz).

Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
1454
1455
1456
1457
1458
1459
1460
1461
1462
2008-12-01  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Finish Florian's change.

	* include/vaucanson/xml/builders.hxx (create_type_writingData_node):
	Use weightOpening and weightClosing.
	* include/vaucanson/xml/contexts/fmp.hxx
	(create_type_writingData_node): Likewise.

1463
1464
1465
1466
1467
1468
1469
1470
1471
1472
1473
1474
1475
2008-11-28  Florian Lesaint  <florian.lesaint@lrde.epita.fr>

	Simplify the code in XML system.
	Replace all code similar to:
	  if (ptr)
	    delete ptr;
	By:
	  delete ptr;
	Since delete of null pointer is correct.
	* include/vaucanson/xml/builders.hxx: Here.
	* include/vaucanson/xml/handlers.hxx: Here.
	* include/vaucanson/xml/regexp.hxx: Here.

1476
1477
1478
1479
1480
1481
1482
1483
1484
2008-11-28  Florian Lesaint  <florian.lesaint@lrde.epita.fr>

	Use "weightOpening" instead of "openWeight".
	Since we never "open" a weight, we just use a symbol to say where is
	the weight: it's a "weight opening symbol".
	Same for weightClosing.
	* data/vaucanson.xsd: Here.
	* include/vaucanson/xml/xmleq.hxx: Here.

1485
1486
1487
1488
2008-11-28  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* taf-kit/tests/vcsn-char-b.test: Use ':' instead of 'echo -n ""'.

1489
1490
1491
1492
1493
2008-11-27  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* include/vaucanson/algorithms/complete.hxx: Do not add the
	state in the for_all_const_states loop, it is wrong when using
	listg and an automata in which a state was removed.
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
1494
	* src/tests/include/tests/automata/algos/boolean_automata/complete_test.hh:
1495
1496
	Test this.

1497
1498
1499
1500
1501
1502
1503
1504
1505
1506
1507
2008-11-27  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	State the dependences on find_tests.sh explicitly.
	Suggested by Reuben Thomas.

	* Makefile.am ($(top_srcdir)/build-aux/tests.m4): Rebuild
	if find_tests.sh changes.
	* src/tests/test-suites/Makefile.am ($(srcdir)/subdirs.mk):
	Likewise.
	* build-aux/find_tests.sh: Mention that these files are
	automatically generated.
Jerome Galtier's avatar
Jerome Galtier committed
1508
1509
1510
1511
1512
1513
1514
2008-11-27  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Fix sanity check.
	* include/vaucanson/algebra/implementation/monoid/monoid_rep_base.hh,
	* include/vaucanson/algebra/implementation/series/series_rep_base.hh:
	  Include missing header `concept/letter.hh'.

1515
1516
1517
1518
1519
2008-11-27  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	TAF-Kit: Fix an outdated test.
	* taf-kit/tests/vcsn-char-b.test: Here.

1520
1521
1522
1523
1524
1525
1526
1527
1528
1529
1530
1531
1532
1533
2008-11-27  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	TAF-Kit: Overhaul representation handling w.r.t. alphabets.
	* taf-kit/src/fmp_commands.cc: More comments.
	* taf-kit/src/getters.hh: New `set_monoid_writing_data_',
	  `set_series_writing_data_', `set_writing_data'.
	  [WITH_TWO_ALPHABETS]: New `set_boolean_writing_data'.
	* taf-kit/src/getters.hxx: Update getters implementation to have the
	  desired behavior.
	* taf-kit/src/main.cc: Disable collision check thanks to the
	  adaptative behavior.
	* taf-kit/src/ratexp_commands.hh: Rework some commands
	  implementation to correctly handle user provided tokens.

1534
1535
1536
1537
1538
1539
1540
1541
1542
1543
1544
1545
1546
1547
1548
2008-11-27  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	TAF-Kit: New structure to overwrite writing data.
	* taf-kit/src/common.hh: New `cmd_flags_t'. (arguments_t): New
	  attributes `cf'. [WITH_TWO_ALPHABETS] (arguments_t): New
	  attributes `cf1' and `cf2'.
	* taf-kit/src/edition_commands.hxx: More comments. Use
	  `set_writing_data' to set the writing data.
	* taf-kit/src/getters.hxx: New function `set_writing_data'.
	* taf-kit/src/main.cc: Update the implementation according to the
	  previous changes.
	* taf-kit/src/parser_options.hh: New method `get_cmd_flags'.
	* taf-kit/src/parser_options.hxx: Update implementation according to
	  the previous changes. Set flags to true when pushing data.

1549
1550
1551
1552
1553
1554
2008-11-27  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Fix a bug for int based series representations.
	* include/vaucanson/algebra/implementation/monoid/free_monoid_int.hxx:
	  Clear the `spaces' vector, same as `maybe_zero'.

1555
1556
1557
1558
1559
1560
1561
2008-11-27  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	TAF-Kit: Tweak collision checks.
	* taf-kit/src/parser_options.hxx: Fix a typo by renaming the macro
	  `CHECK_COLISION' to `CHECK_COLLISION'. Do not check if `CONCAT'
	  has collisions with letters if it is the empty string.

1562
1563
1564
1565
1566
1567
1568
1569
1570
1571
1572
1573
1574
1575
1576
1577
1578
2008-11-27  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	XML: Overhaul representation handling.
	* include/vaucanson/xml/builders.hh (monGenAction): New attribute
	  `user_rep'. Add more type helpers. (Series flavor)
	* include/vaucanson/xml/builders.hxx (monGenAction::operator()):
	  Rework implementation to use `parse_letter' instead of `parse_word'.
	  (FreeMonoidHandler::end()): Update the implementation according to
	  the previous changes.
	* include/vaucanson/xml/handlers.hxx: Do not use the CTOR with
	  user specified representation if none is provided by the user.
	* include/vaucanson/xml/handlers_base.hh,
	* include/vaucanson/xml/handlers_base.hxx (error): New error
	  reporting function `notletter'.
	* include/vaucanson/xml/contexts/fmp.hxx (ProdMonElmtHandler::start):
	  Use `parse_letter' instead of `parse_word'.

Jerome Galtier's avatar
Jerome Galtier committed
1579
1580
1581
1582
1583
1584
1585
1586
2008-11-27  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Add a public parse_letter.
	* include/vaucanson/algebra/concept/alphabets_base.hh: New public
	  interface `parse_letter' to parse a literal as a letter_t.
	* include/vaucanson/algebra/concept/alphabets_base.hxx: Add the
	  implementation of the previous mentioned function.

Jerome Galtier's avatar
Jerome Galtier committed
1587
1588
1589
1590
1591
1592
1593
2008-11-27  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	XML: Revert parts of [2433].
	* include/vaucanson/xml/builders.hxx,
	* include/vaucanson/xml/contexts/fmp.hxx: Ignore representation as
	  the XML representation is not dependent on them when parsing.

1594
1595
1596
1597
1598
2008-11-27  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	XML: Fix a bug when there is no series representation.
	* include/vaucanson/xml/handlers.hxx: Here.

1599
1600
1601
1602
1603
2008-11-27  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Fix a typo when reading concat.
	* include/vaucanson/xml/contexts/fmp.hxx: Here.

1604
1605
1606
1607
1608
1609
1610
1611
1612
1613
2008-11-27  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	TAF-Kit: Add CONCAT to change the concatenation operator.
	* taf-kit/src/parser_options.hh: Update the grammar definition.
	  (definition): New `concat_cb' attribute. New `push_concat' method.
	* taf-kit/src/parser_options.hxx (check_collision): Check for
	  collisions with the concat symbol. Add the implementation of
	  `push_concat'. (definition): Update implementation according to
	  the previous changes.

1614
1615
1616
1617
1618
1619
2008-11-27  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Cleanup default_eps_eps and representation_traits.
	* include/vaucanson/algebra/concept/freemonoid_product.hh,
	* include/vaucanson/algebra/concept/freemonoid_product_base.hh,
	* include/vaucanson/algebra/concept/freemonoid_product_base.hxx,
Jerome Galtier's avatar
Jerome Galtier committed
1620
1621
	* include/vaucanson/design_pattern/predecls.hh: Remove the structure
	  `representation_traits'.
1622

1623
1624
1625
1626
1627
2008-11-27  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	TAF-Kit: Add tests for quot3base2.xml.
	* taf-kit/tests/vcsn-char-fmp-b.test: Here.

1628
1629
1630
1631
1632
1633
1634
2008-11-27  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	TAF-Kit: Improve support for SeriesRep.
	* taf-kit/src/edition_commands.hxx,
	* taf-kit/src/fmp_commands.cc: Use the correct series representation
	  in `make_automaton' and `make_rat_exp' function calls.

Jerome Galtier's avatar
Jerome Galtier committed
1635
1636
1637
1638
1639
1640
1641
2008-11-27  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Add operator== for MonoidRep.
	* include/vaucanson/algebra/implementation/monoid/monoid_rep.hh,
	* include/vaucanson/algebra/implementation/monoid/monoid_rep.hxx:
	  Here.

1642
1643
1644
1645
1646
2008-11-27  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	XML: Fix uninitialized attributes in TypeHandler.
	* include/vaucanson/xml/handlers.hxx: Here.

1647
1648
1649
1650
1651
1652
1653
1654
1655
1656
1657
1658
1659
1660
1661
1662
1663
1664
1665
1666
1667
1668
1669
1670
1671
1672
1673
1674
1675
1676
1677
2008-11-27  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Static polymorphism for SeriesRep via CRTP.
	Rename `series_rep' to `SeriesRep' to be more consistent with the
	other Vaucanson structures. Introduce `SeriesRepBase' to factor more
	code. Rename `series_rep_default' to `SeriesRepDefault'.
	* include/Makefile.am: Add new files to the distribution.
	* include/vaucanson/algebra/concept/freemonoid_product.hh
	  (SeriesRep): Remove useless attributes. New method `disambiguate'.
	  Cosmetic changes.
	* include/vaucanson/algebra/concept/freemonoid_product.hxx: Add the
	  implementation of the new `disambiguate' for series
	  representations. Simplify `operator=='.
	* include/vaucanson/algebra/implementation/monoid/free_monoid_int.hh,
	* include/vaucanson/algebra/implementation/monoid/free_monoid_int.hxx:
	  Improve specialization for int based free monoid.
	* include/vaucanson/algebra/implementation/series/series.hh
	  (Series): Remove the const qualifier of `rep_'.
	* include/vaucanson/algebra/implementation/series/series.hxx
	  (Series): Use `disambiguate' when building a series without user
	  provided series representation.
	* include/vaucanson/algebra/implementation/series/series_rep.hh,
	* include/vaucanson/algebra/implementation/series/series_rep.hxx:
	  Streamline `SeriesRep'.
	* include/vaucanson/algebra/implementation/series/series_rep_base.hh: New.
	* include/vaucanson/algebra/implementation/series/series_rep_base.hxx: New.
	* include/vaucanson/algebra/implementation/series/rat/dump_visitor.hxx,
	* include/vaucanson/contexts/automaton_maker.thh,
	* include/vaucanson/contexts/automaton_maker.thxx,
	* include/vaucanson/xml/contexts/fmp.hh: Only refactoring.

1678
1679
1680
1681
1682
1683
1684
1685
2008-11-27  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	XML: Rename inappropriate type names.
	* include/vaucanson/xml/builders.hh,
	* include/vaucanson/xml/builders.hxx: Rename `self_t' to `monoid_t'
	  and `series_t'.
	* include/vaucanson/xml/contexts/fmp.hh: Rename `self_t' to `srep_t'.

1686
1687
1688
1689
1690
1691
1692
1693
1694
1695
1696
1697
1698
1699
1700
1701
1702
1703
1704
1705
1706
1707
1708
1709
1710
1711
1712
1713
1714
1715
1716
1717
1718
1719
1720
1721
2008-11-27  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Static polymorphism for MonoidRep via CRTP.
	Rename `monoid_rep' to `MonoidRep' to be more consistent with the
	other Vaucanson structures. Introduce `MonoidRepBase' to factor more
	code. Rename `monoid_rep_default' to `MonoidRepDefault'.
	* include/Makefile.am: Add new files to the distribution.
	* include/vaucanson/algebra/concept/freemonoid_product.hh
	  (MonoidRep): Remove useless attributes `empty', `concat' and
	  maybe_epsilon.
	* include/vaucanson/algebra/concept/freemonoid_product.hxx:
	  Streamline the default constructor. Use static polymorphism for
	  `operator=='. Compare the monoid representation when comparing two
	  FMP via `operator=='.
	* include/vaucanson/algebra/implementation/monoid/free_monoid.hxx:
	  Remove the logic to handle smart epsilon representation selection.
	  Use `disambiguate' instead.
	* include/vaucanson/algebra/implementation/monoid/free_monoid_int.hh:
	  Introduce the `EXACT_TYPE' macro. (MonoidRep): Remove useless
	  attributes according to the previous changes.
	* include/vaucanson/algebra/implementation/monoid/free_monoid_int.hxx:
	  Add more comments. Cosmetic changes.
	* include/vaucanson/algebra/implementation/monoid/monoid_rep.hh: Use
	  CRTP idiom.
	* include/vaucanson/algebra/implementation/monoid/monoid_rep.hxx:
	  Remove factored implementation.
	* include/vaucanson/algebra/implementation/monoid/monoid_rep_base.hh: New.
	* include/vaucanson/algebra/implementation/monoid/monoid_rep_base.hxx: New.
	* include/vaucanson/algebra/implementation/series/rat/dump_visitor.hxx,
	* include/vaucanson/contexts/automaton_maker.thh,
	* include/vaucanson/contexts/automaton_maker.thxx,
	* include/vaucanson/xml/builders.hxx,
	* include/vaucanson/xml/contexts/fmp.hxx,
	* include/vaucanson/algebra/implementation/monoid/free_monoid.hh:
	  Only refactoring.

1722
1723
1724
1725
1726
1727
1728
1729
1730
1731
1732
1733
1734
1735
1736
1737
1738
1739
1740
1741
1742
1743
1744
1745
1746
1747
1748
1749
1750
1751
1752
1753
1754
1755
1756
1757
1758
1759
2008-11-27  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	XML: Overhaul support for series representations.
	* data/vaucanson.xsd: New complexType `seriesWritingData'. Rework
	  the `writingData' element in `valueType'.
	* include/vaucanson/xml/builders.hh: New
	  `SeriesRepresentationHandler'. New `create_series_representation'
	  and `create_series_representationh'. Add an argument to
	  `create_monoid' and `check_monoid_consistency'.
	* include/vaucanson/xml/builders.hxx: Add the implementation of
	  `SeriesRepresentationHandler', mostly of based on
	  `FreeMonoidHandler'. (create_monoid): Update implementation to
	  reflect the new prototype. Add the implementation of
	  `create_series_representation' and
	  `create_series_representationh'. (check_monoid_consistency):
	  Update implementation to reflect the new prototype with some
	  overhauls. (create_type_writingData_node): Rename `weightOpening'
	  to `openWeight' and `weightClosing' to `closeWeight'.
	* include/vaucanson/xml/contexts/fmp.hh: New macro `FMPsreptype' to
	  make code tighter. Add a specialization for
	  `SeriesRepresentationHandler' for FMP. Add one argument to
	  `create_monoid' and `check_monoid_consistency'. New
	  `create_type_writingData_node' specialization to better support
	  series representations for FMP.
	* include/vaucanson/xml/contexts/fmp.hxx: Add the implementation of
	  the new specialization mostly based on the `FreeMonoidProduct'
	  one. Add the implementation of `create_type_writingData_node'.
	* include/vaucanson/xml/handlers.hh (TypeHandler): Cosmetic changes.
	  New `reph_' and `rep_' attributes.
	* include/vaucanson/xml/handlers.hxx: Use the new
	  `create_series_representation' to mimic the handling of monoid.
	* include/vaucanson/xml/xmleq.hh: Cosmetic changes. Does the
	  following renaming: `plus' -> `plusSym', `times' -> `timesSym',
	  `spaces' -> `spacesSym'. New `starSym', `type' and `free'
	  attributes.
	* include/vaucanson/xml/xmleq.hxx: Update the implementation
	  according to the previous changes.

1760
1761
1762
1763
1764
1765
1766
1767
1768
1769
1770
1771
1772
1773
1774
1775
1776
1777
1778
1779
1780
1781
1782
1783
1784
1785
1786
1787
1788
2008-11-27  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Move int based FreeMonoid related specialization.
	* include/Makefile.am: Add new files to the distribution.
	* include/vaucanson/algebra/implementation/monoid/free_monoid.hh:
	  Remove include of `alphabet_set.hh'. Remove `monoid_rep'
	  specialization for int based alphabet_set based FreeMonoid.
	* include/vaucanson/algebra/implementation/monoid/free_monoid.hxx:
	  Remove implementation according to the previous change.
	* include/vaucanson/algebra/implementation/series/series.hh: Remove
	  include of `free_monoid.hh'. Remove `series_rep' specialization for
	  int based alphabet_set based FreeMonoid.
	* include/vaucanson/algebra/implementation/series/series.hxx: Remove
	  implementation according to the previous change.
	* include/vaucanson/algebra/implementation/monoid/free_monoid_int.hh: New.
	* include/vaucanson/algebra/implementation/monoid/free_monoid_int.hxx:
	  New.
	* include/vaucanson/automata/generic_contexts/int_boolean_automaton_structures.hh,
	* include/vaucanson/automata/generic_contexts/int_boolean_transducer_structures.hh,
	* include/vaucanson/automata/generic_contexts/int_fmp_transducer_structures.hh,
	* include/vaucanson/automata/generic_contexts/int_z_automaton_structures.hh,
	* include/vaucanson/automata/generic_contexts/int_z_fmp_transducer_structures.hh,
	* include/vaucanson/automata/generic_contexts/int_z_max_plus_automaton_structures.hh,
	* include/vaucanson/automata/generic_contexts/int_z_min_plus_automaton_structures.hh,
	* include/vaucanson/automata/generic_contexts/char_int_boolean_automaton_structures.hh,
	* include/vaucanson/automata/generic_contexts/int_int_boolean_automaton_structures.hh,
	* include/vaucanson/automata/generic_contexts/int_z_transducer_structures.hh:
	  Include required specializations.

1789
1790
1791
1792
1793
1794
1795
1796
1797
2008-11-27  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Simplify specialization of monoid and series representation for FMP.
	* include/vaucanson/algebra/concept/freemonoid_product.hh: Remove
	  inheritance, and update accordingly. New `operator==' for series
	  representations (FMP flavor).
	* include/vaucanson/algebra/concept/freemonoid_product.hxx: Update
	  the implementation according to the previous change.

1798
1799
1800
1801
1802
1803
1804
1805
2008-11-27  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Simplify specialization for int based Series representation.
	* include/vaucanson/algebra/implementation/series/series.hh: Remove
	  inheritance. Update the structure according to this change.
	* include/vaucanson/algebra/implementation/series/series.hxx
	  (series_rep): Do not call parent CTOR.

1806
1807
1808
1809
1810
1811
1812
1813
2008-11-27  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Simplify specialization for int based FreeMonoid representations.
	* include/vaucanson/algebra/implementation/monoid/free_monoid.hh:
	  Remove inheritance. Update the structure according to this change.
	* include/vaucanson/algebra/implementation/monoid/free_monoid.hxx
	  (monoid_rep): Do not not call parent CTOR.

1814
1815
1816
1817
1818
1819
1820
1821
1822
1823
1824
1825
1826
1827
1828
1829
1830
1831
1832
1833
1834
1835
1836
1837
1838
1839
1840
2008-11-27  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Rework monoid and series representations for FMP.
	* include/vaucanson/algebra/concept/freemonoid_product.hh
	  (monoid_rep): Remove method declarations of `first_projection' and
	  `second_projection'. (series_rep): Add new type helpers. Rename
	  `first_projection' to `first_representation' and
	  `second_projection' to `second_representation'. Remove the `const'
	  qualifier from `first_representation' and `second_representation'.
	  Change return types to references. Add const versions.
	* include/vaucanson/algebra/concept/freemonoid_product.hxx: Remove
	  implementations of `first_projection' and `second_projection' for
	  `monoid_rep'. Rework implementation of `first_representation' and
	  `second_representation'.
	* include/vaucanson/contexts/fmp_transducer_maker.thh
	  (make_automaton): Remove the last two arguments.
	* include/vaucanson/contexts/fmp_transducer_maker.thxx
	  (make_automaton): Remove a `FIXME'. Update implementation
	  according to the modified prototypes.
	* taf-kit/src/common.hh (arguments_t): Remove the two attributes
	  `srep1' and `srep2'.
	* taf-kit/src/edition_commands.hxx,
	* taf-kit/src/fmp_commands.cc,
	* taf-kit/src/getters.hxx: Update calls to `make_automaton'.
	* taf-kit/src/main.cc: Use `p_opts1' and `p_opts2' to setup the
	  first and second series representation respectively.

Jerome Galtier's avatar
Jerome Galtier committed
1841
1842
1843
1844
1845
2008-11-27  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Typo in comments.
	* include/vaucanson/algorithms/is_ltl.hh: Here.

1846
1847
1848
1849
1850
1851
1852
1853
1854
1855
1856
1857
1858
1859
1860
2008-11-27  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Overhaul divkbaseb, new quotkbaseb.
	* data/automata/char-b/divkbaseb.cc: Include <vector>. Add more
	  comments. Use an `std::vector' to map integers to letters. Use
	  closed form of `d' in the loop.
	* data/automata/char-fmp-b/Makefile.am: Build new executable
	  `quotkbaseb'. New automaton `quot3base2.xml'.
	* data/automata/char-fmp-b/quotkbaseb.cc: New.
	* data/automata/char-z/Makefile.am: Build new executable
	  `divkbaseb'. New automaton `div3base2.xml'
	* data/automata/char-z/divkbaseb.cc: New.
	* taf-kit/tests/vcsn-char-z.test: New test for the `Z' flavor of
	  `div3base2.xml'.

1861
1862
1863
1864
1865
2008-11-27  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	TAF-Kit: Add a test for div3base2.
	* taf-kit/tests/vcsn-char-b.test: Here.

1866
1867
1868
1869
1870
1871
1872
2008-11-27  Reuben Thomas  <rrt@sc3d.org>

	cderivate is not built into libs, so don't guard it.
	* include/vaucanson/algorithms/krat_exp_cderivation.hh: This file is
	  never included in libs, so comment out the VCSN_USE_LIB guard and
	  add a FIXME.

Reuben Thomas's avatar
Reuben Thomas committed
1873
1874
1875
1876
1877
2008-11-27  Reuben Thomas  <rrt@sc3d.org>

	Flag a problem with FIXME.
	* src/tests/bin/generate-test-suite.sh: .

1878
1879
1880
1881
2008-11-26  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* build-aux/find_tests.sh: Correct typo in EXTRA_DIST definition.

Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
1882
1883
1884
1885
1886
1887
1888
1889
1890
1891
1892
1893
1894
1895
1896
2008-11-25  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* src/tests/test-suites/context_headers_int_boolean_transducer.defs,
	src/tests/test-suites/context_headers_int_fmp_transducer.defs,
	src/tests/test-suites/context_headers_int_z_fmp_transducer.defs,
	src/tests/test-suites/context_headers_int_z_transducer.defs,
	src/tests/test-suites/int_boolean_transducer.defs,
	src/tests/test-suites/int_fmp_transducer.defs,
	src/tests/test-suites/int_z_fmp_transducer.defs,
	src/tests/test-suites/int_z_transducer.defs: New files.
	* src/tests/test-suites/generate-all.sh: Adjust to generate test
	suites for all the above.
	* src/tests/test-suites/boolean_transducer.defs: Equip with
	automaton and rw_transducer namespaces.

1897
1898
2008-11-26  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

1899
1900
1901
1902
1903
1904
1905
1906
1907
1908
1909
1910
1911
1912
1913
	Rewrite some tests so they can be used with int letters.

	* src/tests/include/tests/automata/algos/boolean_rw_transducers/invert_test.hh,
	src/tests/include/tests/automata/algos/fmp_transducers/evaluation_fmp_test.hh,
	src/tests/include/tests/automata/algos/fmp_transducers/is_ltl_test.hh,
	src/tests/include/tests/automata/algos/fmp_transducers/is_subnormalized_test.hh,
	src/tests/include/tests/automata/algos/fmp_transducers/normalized_composition_test.hh,
	src/tests/include/tests/automata/algos/fmp_transducers/sub_normalize_test.hh,
	src/tests/include/tests/automata/algos/fmp_transducers/subnormalized_composition_test.hh,
	src/tests/include/tests/context_headers/fmp_transducers/global_consistency_test.hh:
	Rewrite without hardcoding the use of characters as letters.

2008-11-26  Alexandre Duret-Lutz  <adl@lrde.epita.fr>


1914
1915
1916
1917
1918
1919
1920
1921
	Fix make_automaton() to support int letters.

	* include/vaucanson/contexts/fmp_transducer_maker.thh,
	include/vaucanson/contexts/fmp_transducer_maker.thxx
	(make_automaton): Take first_monoid_elt_value_t and
	second_monoid_elt_value_t as arguments, do not hardcode
	std::string.

1922
1923
1924
1925
1926
1927
1928
1929
1930
1931
1932
2008-11-26  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* src/tests/check/check-flags.mk (AM_CPPFLAGS): Search $(srcdir)/..
	* src/tests/bin/generate-test-suite.sh (all_failcomp): Do not
	"cat" the defs file, include it. This way we get dependency
	tracking on this file for free an we can change a defs files
	without having to regenerate the whole test suite.
	* build-aux/find_tests.sh: EXTRA_DIST the defs files.
	* src/tests/test-suites/Makefile.am (EXTRA_DIST): Append to this
	variable which is now defined in subdirs.mk.

1933
1934
1935
1936
1937
2008-11-25  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* src/tests/test-suites/generate-all.sh: Factor the two loops,
	effectively reverting r2410.

1938
1939
1940
1941
1942
2008-11-25  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* src/tests/test-suites/generate-all.sh: Enable context headers
	tests for char_char_boolean and int_int_boolean automata.

1943
1944
1945
1946
1947
2008-11-24  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* src/tests/test-suites/subdirs.mk: Remove from the repository as
	it is generated by bootstrap.

1948
1949
1950
1951
1952
1953
2008-11-24  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* src/tests/include/tests/context_headers/automata/global_consistency_test.hh:
	Rewrite to work regardless of the alphabet.  It now works also for
	alphabets of pairs.  Thanks to Jerome Galtier for the help.

1954
1955
1956
1957
1958
1959
1960
1961
1962
1963
1964
1965
2008-11-24  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* include/vaucanson/algebra/implementation/series/krat_exp_parser.hxx
	(lex, insert_word): Rewrite to first recognize the largest word
	possible, and then match other token.  This is the reverse of was
	was done before, and it was a hindrance: 21#34 would not be
	parsed if 1 was the empty word, '(a,b)' would not be recognized as
	a letter in an alphabet of pairs because the parser would first
	strip the parenthesis and then try to parse 'a,b' as a word.
	* taf-kit/tests/vcsn-int-b.test: Adjust a test.
	* taf-kit/tests/vcsn-char-char-b.test: Add some tests.

1966
1967
1968
1969
1970
1971
2008-11-24  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* include/vaucanson/algebra/implementation/monoid/str_words.hxx
	(op_parse): Rewrite and comment.
	* taf-kit/tests/vcsn-int-b.test: Add some tests.

1972
1973
1974
1975
1976
2008-11-24  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* include/vaucanson/algebra/implementation/letter/int_letter.hxx
	(literal_to_letter): Disallow leading '+' in numbers.

1977
1978
1979
1980
1981
1982
1983
1984
1985
1986
1987
1988
1989
1990
1991
2008-11-24  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* b/include/vaucanson/algebra/concept/freemonoid_base.hh,
	b/include/vaucanson/algebra/concept/freemonoid_base.hxx,
	include/vaucanson/algebra/implementation/monoid/str_words.hh,
	include/vaucanson/algebra/implementation/monoid/str_words.hxx
	(op_parse, parse_word): Return a pair instead of a bool.  The
	integer returned along with the bool indicates how many characters
	of the input string were read.
	* include/vaucanson/algebra/implementation/series/krat_exp_parser.hxx
	(insert_word): Adjust call site.
	* include/vaucanson/xml/contexts/fmp.hxx
	(ProdMonElmtHandler<T>::start): Likewise.
	* taf-kit/src/getters.hexx (get_word): Likewise.

1992
1993
1994
1995
1996
1997
1998
2008-11-24  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* include/vaucanson/automata/implementation/listg/listg_sparse_interval.hxx:
	Fix handling of empty containers.  The change I made on 2008-11-12
	was wrong and caused many failures with "make check" was run on
	the listg implementation.

1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2008-11-24  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Introduce --with-default-graph-impl=... to replace
	CPPFLAGS=-DWITH_DEFAULT_GRAPH_IMPL=... that do not work anymore
	bcause TAF-Kit includes config.h which hardcodes
	WITH_DEFAULT_GRAPH_IMPL.

	* configure.ac (--with-default-graph-impl): Support this new option.
	* doc/FAQ.txt: Document it.

2009
2010
2011
2012
2013
2008-11-24  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* include/vaucanson/misc/usual_macros.hh (remove_in, XML_FAIL):
	Remove these unused macros.

2014
2015
2016
2017
2018
2019
2020
2021
2022
2008-11-23  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* include/vaucanson/algorithms/sum.hxx,
	include/vaucanson/algorithms/thompson.hxx,
	include/vaucanson/xml/printers.hxx: Call AUTOMATON_TYPES before
	calling for_all_const_states, for_all_const_initial_states,
	for_all_const_final_states, for_all_states, for_all_transitions,
	for_all_initial_states, or for_all_final_states.

2023
2024
2025
2026
2027
2028
2029
2030
2008-11-23  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* include/vaucanson/automata/implementation/listg/listg_sparse_interval.hh,
	include/vaucanson/automata/implementation/listg/listg_sparse_interval.hxx,
	include/vaucanson/misc/sparse_interval.hh,
	include/vaucanson/misc/sparse_interval.hxx (operator==, operator!=):
	Declare as const methods.

2031
2032
2033
2034
2035
2008-11-23  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* src/bench/common/bench.mk: Include $(top_srcdir)/vaucanson.mk so
	that we get Boost's flags.

2036
2037
2038
2008-11-21  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Try to fix things after r2485, but I'm not sure what I'm doing.
2039

2040
2041
2042
2043
	* src/demos/algorithms/universal.cc (universal): Correct the code
	from the removal of delta_tmp by inserting into delta_ret
	directly, remove illegal typenames, use delta_iterator instead of
	delta_transition_iterator.  Now the program compiles fine but it
2044
	makes an assertion failure.
2045
2046
2047
2048
2049
	(union_structure): Remove, it is not used anymore.
	* src/demos/one_rule_rewriting/shortest.hh (shortest): Remove
	illegal typenames, fix some typos in variable names, use
	delta_iterator instead of delta_transition_iterator

2050
2051
2052
2053
2008-11-21  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Change all occurences of benchs and benches to either bench (in
	filenames and targets) or benchmarks (in text).
2054

2055
2056
2057
2058
2059
2060
	* Makefile.am, bootstrap, configure.ac, doc/manual/developer.tex,
	src/Makefile.am: Adjust to the following renamings.
	* src/benchs/Makefile.am: Rename to src/bench/Makefile.am
	* src/benchs/common/Makefile.am: Rename to src/bench/common/Makefile.am
	* src/benchs/common/alpha.syms: Rename to src/bench/common/alpha.syms
	* src/benchs/common/bench.mk: Rename to src/bench/common/bench.mk
2061
	* src/benchs/common/bench_automaton.hh: Rename to
2062
	src/bench/common/bench_automaton.hh
2063
	* src/benchs/common/bench_constructs.hh: Rename to
2064
	src/bench/common/bench_constructs.hh
2065
	* src/benchs/composition/Makefile.bench: Rename to
2066
2067
2068
2069
2070
2071
2072
2073
2074
2075
2076
2077
2078
2079
2080
2081
2082
2083
2084
2085
2086
2087
2088
2089
2090
2091
2092
2093
2094
2095
	src/bench/composition/Makefile.bench
	* src/benchs/composition/normalized_composition_bench.hh: Rename to
	src/bench/composition/normalized_composition_bench.hh
	* src/benchs/composition/rw_composition_bench.hh: Rename to
	src/bench/composition/rw_composition_bench.hh
	* src/benchs/derived_terms/Makefile.bench: Rename to
	src/bench/derived_terms/Makefile.bench
	* src/benchs/derived_terms/derived_terms_bench.hh: Rename to
	src/bench/derived_terms/derived_terms_bench.hh
	* src/benchs/determinization/Makefile.bench: Rename to
	src/bench/determinization/Makefile.bench
	* src/benchs/determinization/determinization_bench.hh: Rename to
	src/bench/determinization/determinization_bench.hh
	* src/benchs/determinization/determinization_bench_fsm.cc: Rename to
	src/bench/determinization/determinization_bench_fsm.cc
	* src/benchs/eps_removal/Makefile.bench: Rename to
	src/bench/eps_removal/Makefile.bench
	* src/benchs/eps_removal/eps_removal_bench.hh: Rename to
	src/bench/eps_removal/eps_removal_bench.hh
	* src/benchs/generate_benchs.sh: Rename to src/bench/generate_bench.sh
	Also to not EXTRA_DIST Makefile.bench files, Automake will already
	distribute them since they are included by a Makefile.am
	* src/benchs/iterators/Makefile.bench: Rename to
	src/bench/iterators/Makefile.bench
	* src/benchs/iterators/accessible_bench.hh: Rename to
	src/bench/iterators/accessible_bench.hh
	* src/benchs/iterators/iterator_bench.hh: Rename to
	src/bench/iterators/iterator_bench.hh
	* src/benchs/minimization_2n/Makefile.bench: Rename to
	src/bench/minimization_2n/Makefile.bench
2096
	* src/benchs/minimization_2n/minimization_2n_brzozowski_bench.hh:
2097
	Rename to src/bench/minimization_2n/minimization_2n_brzozowski_bench.hh
2098
	* src/benchs/minimization_2n/minimization_2n_hopcroft_bench.hh: Rename
2099
2100
2101
2102
2103
	to src/bench/minimization_2n/minimization_2n_hopcroft_bench.hh
	* src/benchs/minimization_2n/minimization_2n_moore_bench.hh: Rename to
	src/bench/minimization_2n/minimization_2n_moore_bench.hh
	* src/benchs/minimization_debruijn/Makefile.bench: Rename to
	src/bench/minimization_debruijn/Makefile.bench
2104
	* src/benchs/minimization_debruijn/minimization_debruijn_brzozowski_bench.hh:
2105
2106
	Rename to
	src/bench/minimization_debruijn/minimization_debruijn_brzozowski_bench.hh
2107
	* src/benchs/minimization_debruijn/minimization_debruijn_hopcroft_bench.hh:
2108
2109
	Rename to
	src/bench/minimization_debruijn/minimization_debruijn_hopcroft_bench.hh
2110
	* src/benchs/minimization_debruijn/minimization_debruijn_moore_bench.hh:
2111
2112
2113
2114
2115
2116
2117
2118
2119
	Rename to
	src/bench/minimization_debruijn/minimization_debruijn_moore_bench.hh
	* src/benchs/quotient/Makefile.bench: Rename to
	src/bench/quotient/Makefile.bench
	* src/benchs/quotient/quotient_bool_bench.hh: Rename to
	src/bench/quotient/quotient_bool_bench.hh
	* src/benchs/quotient/quotient_z_bench.hh: Rename to
	src/bench/quotient/quotient_z_bench.hh

2120
2121
2122
2123
2008-11-21  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Only build benchmarks during distcheck, in the same way we do for
	demos.  (#138)
2124

2125
	* configure.ac: Recognize --enable-benchs and define the
2126
	ENABLE_BENCHS conditional.
2127
2128
2129
2130
	* Makefile.am (DISTCHECK_CONFIGURE_FLAGS): Use --enable-benchs during
	distcheck.
	* src/Makefile.am (SUBDIRS): Recurse in benchs/ conditionally.

Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
2131
2132
2133
2134
2135
2008-11-21  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* src/benchs/generate_benchs.sh: Declare benchmarks
	noinst_PROGRAMS, not EXTRA_PROGRAMS.  This way they will be
	compiled even when they are not run and we can ensure they are
2136
	updated if the interface of the library changes.
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
2137
2138
2139
2140
2141
2142
2143
2144
2145
	* src/benchs/composition/Makefile.bench,
	src/benchs/derived_terms/Makefile.bench,
	src/benchs/determinization/Makefile.bench,
	src/benchs/eps_removal/Makefile.bench,
	src/benchs/iterators/Makefile.bench,
	src/benchs/minimization_2n/Makefile.bench,
	src/benchs/minimization_debruijn/Makefile.bench,
	src/benchs/quotient/Makefile.bench: Adjust.

2146
2147
2148
2149
2150
2151
2152
2153
2154
2008-11-21  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Add missing bits so that "make benchs" works in iterators/.

	* src/benchs/iterators/Makefile.bench: New file.
	* src/benchs/iterators/accessible_bench.hh: Add a context.
	* src/benchs/iterators/iterator_bench.hh: Add a context and remove
	any reference to deltaf, deltac, and state iterators.

2155
2156
2157
2008-11-21  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Add missing bits so that "make benchs" works in eps_removal/.
2158

2159
2160
2161
2162
2163
2164
	* src/benchs/eps_removal/Makefile.bench: New file.
	* src/benchs/eps_removal/eps_removal_bench.hh: Define a CONTEXT.
	* src/benchs/eps_removal/Makefile.am,
	src/benchs/eps_removal/eps_removal-bench.cc: Remove from the
	repository, they are automatically generated.

Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
2165
2166
2167
2168
2169
2170
2171
2008-11-21  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* Makefile.am (DISTCHECK_CONFIGURE_FLAGS): Re-enable Vaucanswig
	during distcheck.  Because we use bmig by default, compiling
	vaucanswig (which uses listg) is a way to ensure that listg still
	compiles.

Reuben Thomas's avatar
Reuben Thomas committed
2172
2173
2174
2175
2176
2177
2178
2179
2180
2181
2182
2183
2184
2185
2186
2008-11-21  Reuben Thomas  <rrt@sc3d.org>

	Reinstate listg (too hasty!).
	Reinstate over-hasty removal of listg (r2489).
	* include/Makefile.am: .
	* include/vaucanson/automata/implementation/listg/iterator.hh: New.
	* include/vaucanson/automata/implementation/listg/iterator.hxx: New.
	* include/vaucanson/automata/implementation/listg/listg_handlers.hh: New.
	* include/vaucanson/automata/implementation/listg/listg_handlers.hxx: New.
	* include/vaucanson/automata/implementation/listg/listg_sparse_interval.hh: New.
	* include/vaucanson/automata/implementation/listg/listg_sparse_interval.hxx: New.
	* include/vaucanson/automata/implementation/listg: New.
	* include/vaucanson/automata/implementation/listg_graph_impl.hh: New.
	* include/vaucanson/automata/implementation/listg_graph_impl.hxx: New.

2187
2188
2189
2190
2191
2192
2193
2194
2008-11-21  Reuben Thomas  <rrt@sc3d.org>

	Disable vaucanswig in make distcheck.
	Vaucanswig won't compile any more owing to the lack of listg. Since it
	is broken anyway, it seems a small extra benefit to compile it during
	make distcheck.
	* Makefile.am: .

2195
2196
2197
2198
2199
2200
2008-11-21  Reuben Thomas  <rrt@sc3d.org>

	Remove FIXME about proposed additional iterator.
	Entia non sunt multiplicanda praeter necessitatem.
	* include/vaucanson/automata/implementation/bmig_graph_impl.hh: .

2201
2202
2203
2204
2205
2206
2207
2208
2209
2210
2211
2212
2213
2214
2215
2216
2217
2008-11-21  Reuben Thomas  <rrt@sc3d.org>

	Remove the listg graph implementation.
	To simplify ongoing work, remove the listg graph implementation.
	The framework for multiple implementations is retained for ease of
	adding or changing the graph implementation in future.
	* include/Makefile.am: .
	* include/vaucanson/automata/implementation/listg/iterator.hh: Remove.
	* include/vaucanson/automata/implementation/listg/iterator.hxx: Remove.
	* include/vaucanson/automata/implementation/listg/listg_handlers.hh: Remove.
	* include/vaucanson/automata/implementation/listg/listg_handlers.hxx: Remove.
	* include/vaucanson/automata/implementation/listg/listg_sparse_interval.hh: Remove.
	* include/vaucanson/automata/implementation/listg/listg_sparse_interval.hxx: Remove.
	* include/vaucanson/automata/implementation/listg: Remove.
	* include/vaucanson/automata/implementation/listg_graph_impl.hh: Remove.
	* include/vaucanson/automata/implementation/listg_graph_impl.hxx: Remove.

Reuben Thomas's avatar
Reuben Thomas committed
2218
2219
2220
2221
2222
2008-11-21  Reuben Thomas  <rrt@sc3d.org>

	Add a FIXME tag to a fixme.
	* src/tests/sanity/Makefile.am: .

2223
2224
2225
2226
2227
2228
2229
2230
2231
2232
2233
2234
2235
2236
2237
2238
2239
2240
2241
2242
2243
2244
2245
2246
2247
2248
2249
2250
2251
2252
2253
2254
2255
2256
2257
2258
2259
2260
2261
2262
2263
2264
2265
2266
2267
2268
2008-11-21  Reuben Thomas  <rrt@sc3d.org>

	Remove [r]delta_state_iterator.
	[r]delta_state_iterator was poorly designed (the name was
	used to express a type), and not needed	(it was only used
	twice, and dst_of and src_of are convenient
	to use instead).

	Since that only leaves one flavour, [r]delta_transition_iterator,
	it is now called [r]delta_iterator.
	* include/vaucanson/algorithms/accessible.hxx: .
	* include/vaucanson/algorithms/aut_to_exp.hxx: .
	* include/vaucanson/algorithms/complete.hxx: .
	* include/vaucanson/algorithms/determinize.hxx: .
	* include/vaucanson/algorithms/eps_removal.hxx: .
	* include/vaucanson/algorithms/eps_removal_sp.hxx: .
	* include/vaucanson/algorithms/eval.hxx: .
	* include/vaucanson/algorithms/internal/evaluation.hxx: .
	* include/vaucanson/algorithms/internal/has_neighbour.hxx: .
	* include/vaucanson/algorithms/internal/outsplitting.hxx: .
	* include/vaucanson/algorithms/is_deterministic.hxx: .
	* include/vaucanson/algorithms/letter_to_letter_composition.hxx: .
	* include/vaucanson/algorithms/minimization_hopcroft.hxx: .
	* include/vaucanson/algorithms/minimization_moore.hxx: .
	* include/vaucanson/algorithms/normalized_composition.hxx: .
	* include/vaucanson/algorithms/product.hxx: .
	* include/vaucanson/algorithms/rw_composition.hxx: .
	* include/vaucanson/algorithms/search.hxx: .
	* include/vaucanson/algorithms/standard.hxx: .
	* include/vaucanson/algorithms/standard_of.hxx: .
	* include/vaucanson/algorithms/sum.hxx: .
	* include/vaucanson/automata/concept/automata_base.hh: .
	* include/vaucanson/automata/implementation/bmig/iterator.hh: .
	* include/vaucanson/automata/implementation/bmig/iterator.hxx: .
	* include/vaucanson/automata/implementation/bmig_graph_impl.hh: .
	* include/vaucanson/automata/implementation/bmig_graph_impl.hxx: .
	* include/vaucanson/automata/implementation/listg/iterator.hh: .
	* include/vaucanson/automata/implementation/listg/iterator.hxx: .
	* include/vaucanson/automata/implementation/listg_graph_impl.hh: .
	* include/vaucanson/automata/implementation/transpose_view.hh: .
	* include/vaucanson/misc/usual_macros.hh: .
	* include/vaucanson/tools/fsm_dump.hxx: .
	* include/vaucanson/tools/gen_random.hxx: .